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