Primary Faculty

Norm Badler, Cecilia Fitler Moore Professor of Computer and Information Science.

Computer graphics, human movement simulation, three-dimensional modeling and interaction techniques.

Ruzena Bajcsy, Professor of Computer and Information Science.

Computer vision, robotics, language and vision, and biomedical imaging.

Peter Buneman, Professor of Computer and Information Science.

Database/knowledge base systems, programming languages, environments, and semantics.

Susan Davidson, Associate Professor of Computer and Information Science.

Distributed systems, database systems, and real-time systems.

David Farber, Alfred S. Fitler Moore Professor of Telecommunications Systems, Computer and Information Science.

High speed computer networks, distributed computer systems, distributed collaboration and software productivity.

Jean Gallier, Professor of Computer and Information Science.

Old Interests: logic in computer science, automated deduction, unification, logic programming, compilers. New Interests: geometry of curves and surfaces, CAGD, motion planning, classical mechanics, robotics, computer vision.

Carl Gunter, Associate Professor of Computer and Information Science.

Programming Languages, Semantics, Logic, Software Specification.

Aravind Joshi, Henry Salvatori Professor of Computer and Cognitive Science.

Natural language processing, natural language interfaces, artificial intelligence, cognitive science.

Sampath Kannan, Assistant Professor of Computer and Information Science.

Program checking, probabilistic algorithms, learning theory, graph theory and combinatorics, computational biology, algorithms for code generation.

Insup Lee, Associate Professor of Computer and Information Science and Undergraduate Chair of the Department.

Distributed systems, real-time computing, programming languages, operating systems, formal specification and analysis of time-dependent systems, and software engineering methods and tools.

Mitch Marcus, Professor of Computer and Information Science and Chair of the Department.

Natural language processing, computational theories of grammar, cognitive science, automatic acquisition of linguistic structure from text corpora.

Dimitri Metaxas, Assistant Professor of Computer and Information Science.

Physics based modeling and simulation, computer graphics and animation, computer vision, scientific visualization.

Dale Miller, Associate Professor of Computer and Information Science.

Logic and functional programming, computational logic, proof theory, automated reasoning.

Max Mintz, Associate Professor of Computer and Information Science.

Decision making under uncertainty, stochastic modeling, and multisensor fusion, with applications to multiagent robotic systems.

Scott Nettles, Assistant Professor of Computer and Information Science.

Design, implementation, and evaluation of programming languages, operating systems, and database systems. Memory management and garbage collection. Transaction and distributed computing support for high-level languages.

Lou Paul , Professor of Computer and Information Science.

Robotics, teleoperation, real-time numerical methods.

Noah Prywes, Professor of Computer and Information Science.

Automatic software generation, operating systems, programming languages and visual programming.

Eero Simoncelli, Assistant Professor of Computer and Information Science.

Computational vision, mathematical models of human vision, representation and analysis of signals and images.

Jonathan Smith, Associate Professor of Computer and Information Science.

Distributed Systems, operating systems, multimedia communications systems, applications of randomness, computer security and cryptology.

Mark Steedman, Professor of Computer and Information Science and Chair of Graduate Group for the Department.

Natural language processing, spoken language systems, artificial intelligence, cognitive sciences, programming languages.

Val Tannen, Associate Professor of Computer and Information Science.

Programming languages, databases, logic in computer science.

Lyle Ungar, Associate Professor of Computer and Information Science and Associate Professor of Chemical Engineering and Systems (secondary appointment).

Knowledge-based systems, qualitative physics, machine learning, real and artificial neural networks.

Tandy Warnow, Assistant Professor of Computer and Information Science.

Algorithms, graph theory, combinatorics, and computational biology.

Bonnie Lynn Webber, Professor of Computer and Information Science.

Natural language processing (computational approaches to discourse, question-answering, animation from instructions), planning and reasoning about action, medical applications of artificial intelligence.

Secondary Faculty and Emeritus Professors

John W. Carr III, Emeritus

Magda El Zarki, Department of Electrical Engineering

Peter Freyd, Department of Mathematics

Mark Y. Liberman, Trustee Professor of Phonetics, Department of Linguistics

Ellen Prince, Professor of Computer and Information Science (secondary appointment) and Professor of Linguistics.

Discourse/pragmatics, yiddish, language contact.

Keith Ross, Professor of Computer and Information Science (secondary appointment) and Associate Professor of Systems Engineering.

Networking, telecommunications, and performance modeling

Andre Scedrov, Professor of Computer and Information Science (secondary appointment) and Professor of Mathematics.

Logic, type theory, category theory and semantics of programming langues.

Scott Weinstein, Professor of Computer and Information Science (secondary appointment) and Professor of Philosophy.

Computational learning theory, logic in computer science.