Members

Sotiris Skevoulis (sskevoulis@pace.edu)
Director and Chair, Computer Science, New York City

Sotiris Skevoulis (sskevoulis@pace.edu)
Director and Chair, Computer Science, New York City

• Interests: formal methods, object oriented software development,
  light weight formal methods and their use in educational and
  industrial environments, data representation, theorem proving,
  software engineering

Dennis Anderson (danderson@pace.edu)
Professor of Information Systems, New York City

• Interests: multimedia, new-media technologies and e-commerce

Paul Benjamin (pbenjamin@pace.edu)
Professor of Computer Science, New York City

• Interests: problem decomposition and theory reformulation,
  integrated cognitive architectures for autonomous robots,
  distributed constraint satisfaction problems, semigroup theory
  and dynamical systems, category theory in software design

Richard Nemes (rnemes@pace.edu)
Associate Professor,  New York City
 

Christelle Scharff (cscharff@pace.edu)

• Interests: automated deduction, theorem proving, computer aided verification,
  distributed and parallel implementations on distributed memory machines,
  data mining, new technologies in education