FACULTY MEMBERS AND THEIR AREAS OF RESEARCH

FULL-TIME FACULTY

David M. Arnow, Professor    1216N   x2040

Distributed programming; simulation of physical systems;

computer science education.

Moshe Augenstein, Professor    2122N   x2041

Data structures; program efficiency; software engineering; microcomputers.

Amotz Bar-Noy, Professor    2112a N   x2042

Design and analysis of algorithms.
theoretical aspects of communication networks.

Samir Chopra, Assistant Professor   1214N   x2044

Mathematical logic; artificial intelligence; knowledge and belief.

Dayton Clark, Assistant Professor 2114N   x2045

Computer architecture; networks; operating systems; real-time systems;

open-source software; programming.

Eva Cogan, Assistant Professor   4412N   x2046

Intelligent agents; logic; multiagent systems.

James Cox, Associate Professor   2112N   x2047

Sensory-based robotics; medical imaging;
combinatorial algorithms and computational complexity theory.

Scott Dexter, Associate Professor   0113N   x2048

Network security; formal methods.

Chaya Gurwitz, Professor   2112N   x2052

Scientific programming; numerical analysis; Web technology;

Web-based instruction.

Keith Harrow, Professor   2131N   x2053

Theoretical computer science; computability theory; formal language theory;
analysis of algorithms; database management.

Jacqueline A. Jones, Associate Professor   2118N   x2054

Operating systems; programming languages; music and computers.

Danny Kopec, Associate Professor   1432N   x2055

Intelligent tutoring systems; e  xperimental cognitive science;

computer chess; technological mishaps; computer science education.

Yedidyah Langsam, Professor   523dNE   x2056

Multimedia; medical informatics; data structures;

personal computing and the Internet.

Rohit Parikh, Distinguished Professor   1161N   x2058

Applications of logic to AI; logic and semantics of programs; formal languages;
proof theory.

Simon Parsons, Associate Professor   0119N   x2059

Intelligent agents; multi-agent systems; probabilistic reasoning;

decision-making under uncertainty.

Theodore Raphan, Distinguished Professor   541NE   x2060

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.

Ira Rudowsky, Associate Professor   3208cN   x2062

Database design, analysis and implementation;

multimedia databases, intelligent agents.

Charles Schnabolk, Associate Professor   2118N   x2064

Formal development of programs; programming languages.

Elizabeth Sklar, Assistant Professor   1417N   x1502

interactive learning systems; educational robotics;

multiagent simulation of learning environments.

Dina Sokol, Assistant Professor   3208N   x2065

Algorithm design and analysis; pattern matching algorithms;

computational biology; data compression.

Aaron Tenenbaum, Professor and Chairperson   2109N   951-5657

Data structures and algorithms; programming languages and compilers.

Sheila Tejada, Visiting Associate Professor   2117N   x2068

Intelligent multimedia agents, machine learning, multi-robot teams,
human-robot interaction, information integration, datamining.

Joseph Thurm, Associate Professor   1231N   x2067

Database management; practical uses of computers in business.

Gerald Weiss, Professor   143NE   x2664

Object-oriented software development and patterns;

programming languages and compilers;

operating systems and distributed programming.

Paula Whitlock, Professor   1212N   x2069

Computer simulations, especially Monte Carlo methods;
development of random number generators, especially for parallel computing systems.

Noson Yanofsky, Assistant Professor   1433N   x2070

Category theory; complexity theory; higher-dimensional algebra.

Gabriel Yarmish, Assistant Professor   4414N   x2071

Distributed and parallel optimization methods;
optimization of large linear mathematical optimization programs.

Efstathios Zachos, Professor   5316N   x2072

Computational complexity theory; theory of probabilistic and parallel algorithms;

interactive proof systems.

Neng Fa Zhou, Associate Professor   1161N   x2073

Programming languages; abstract machines and compilers;
constraint solving and programming; Web publishing.

Chaim Ziegler, Professor   1233N   x2074

Multimedia systems; computer networks; queuing theory;

computer and Internet telephony systems.