Faculty Member--
David Arnow
- distributed programming
- simulation of physical systems
- computer science education
Faculty Member--
Moshe Augenstein
- data structures
- program efficiency
- software engineering microcomputers
Faculty Member--
Amotz Bar-Noy
- design and analysis of algorithms
- theoretical aspects of communication networks
Faculty Member--
Dayton Clark
- computer architecture
- networks
- operating systems
- real-time systems
- open-source software
- programming
Faculty Member--
Eva Cogan
- intelligent agents
- logic
- multiagent systems
Faculty Member--
James Cox
- sensory-based robotics
- medical imaging
- combinatorial algorithms
- computational complexity theory
Faculty Member--
Scott Dexter
- network security
- formal methods
Faculty Member--
Keith Harrow
- theoretical computer science
- computability theory
- formal theory
- analysis of algorithms
- database management
Faculty Member--
Jacqueline Jones
- operating systems
- programming languages
- music and computers
Faculty Member--
Danny Kopec
- intelligent tutoring systems
- experimental cognitive science
- computer chess
- technological mishaps
- computer science education
Faculty Member--
Yedidyah Langsam
- multimedia
- medical informatics
- data structures
- personal computing and the internet
Faculty Member--
Rohit Parikh
- applications of logic to artificial intelligence
- logic and semantics of programs
- formal languages
- proof theory
Faculty Member--
Simon Parsons
- intelligent agents
- multi-agent systems
- probabilistic reasoning
- decision-making under uncertainty
Faculty Member--
Theodore Raphan
- modeling and simulation of eye movement control mechanisms
- models of spatial orientation
- data acquisition and analysis
- pattern recognition and computer vision
- neural networks
- artificial intelligence
Faculty Member--
Ira Rudowsky
- database design, analysis and implementation
- multimedia databases
- intelligent agents
Faculty Member--
Charles Schnabolk
- formal development of programs
- programming languages
Faculty Member--
Elizabeth Sklar
- intelligent agents
- multiagent simulation
- multi-robot systems
- multimedia computing
- interactive learning systems
- educational robotics
Faculty Member--
Dina Sokol
- algorithm design and analysis
- pattern matching algorithms
- computational biology
- data compression
Faculty Member--
Aaron Tenenbaum
- data structures and algorithms
- programming languages and compilers
Faculty Member--
Joseph Thurm
- database management
- practical uses of computers in business
Faculty Member--
Gerald Weiss
- object-oriented software development and patterns
- programming languages and compilers
- operating systems and constraint solving and programming
- distributed programming
Faculty Member--
Paula Whitlock
- programming languages and compilers
- computer simulations, especially Monte Carlo methods
- development of random number generators, especially for parallel computing systems
Faculty Member--
Noson Yanofsky
- category theory
- complexity theory
- higher-dimensional algebra
Faculty Member--
Gavriel Yarmish
- distributed and parallel optimization methods
- optimization of large linear optimization programs
Faculty Member--
Efstathios Zachos
- computational complexity theory
- mathematical theory of probabilistic and parallel algorithms
- interactive proof systems
Faculty Member--
Neng-Fa Zhou
- programming languages
- abstract machines and compilers
- constraint solving and programming
- web publishing
Faculty Member--
Chaim Ziegler
- multimedia systems
- computer networks
- queueing theory
- computer and internet telephony systems