|
Members
Sotiris
Skevoulis
Director and Assistant Professor SCSIS/NY
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
Aderson
Associate Dean and Associate Professor SCSIS/NY
Interests: Multimedia, New-Media Technologies and e-commerce
Paul Benjamin
Chair of CS Department and Associate Professor
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
Associate Professor SCIS/NY
Interests:
Christelle
Scharff
Interests: automated deduction, theorem proving, computer aided
verification,
distributed and parallel implementations on distributed memory machines,
data mining, new technologies in education
|
