Research Interests of Faculty and Senior Researchers

• William Arms Digital libraries, electronic publishing 

• Graeme Bailey Mathematical modeling, applications to medicine and
  biology, geometry, parametrization spaces and connectivity 

• Kenneth P. Birman Reliability and security in modern networked
  environments 

• Claire Cardie Natural language processing, machine learning, artificial
  intelligence 

• Paul Chew Computational geometry, computational biology 

• Thomas F. Coleman Numerical analysis, computational finance, scientific
  computing 

• Robert L. Constable Type theory and automated reasoning 

• Alan Demers Database systems, database replication, and algorithms 

• Ron Elber Computational molecular biology, genomics 

• Johannes Gehrke Database systems, data mining, mining and monitoring
  evolving data 

• Carla Gomes Artificial intelligence, operations research, planning and
  scheduling

• Donald P. Greenberg Realistic image synthesis, modeling, scientific
  visualization, computer-aided design, image processing 

• Joseph Y. Halpern Reasoning about knowledge and uncertainty in
  multi-agent systems, decision theory, logic, artificial intelligence, security 

• Juris Hartmanis Computational complexity, complexity of chaotic
  systems 

• John E. Hopcroft Robust geometric algorithms, modeling and simulation,
  and information capture and access 

• Daniel P. Huttenlocher Computer vision 

• Klara Kedem Computational geometry 

• Jon Kleinberg Theory of computing, algorithms, computational biology 

• Dean Krafft Digital libraries, information access 

• Christoph Kreitz Automated reasoning, program transformation,
  verification and synthesis 

• Carl Lagoze Digital libraries 

• Dexter Kozen Theory of computational, proof-carrying code,
  computational complexity, analysis of algorithms, program logics and
  semantics 

• Lillian Lee Natural language processing 

• Yuying Li Scientific computation, numerical optimization 

• J. Gregory Morrisett Programming languages, security, type systems,
  and compilers 

• Andrew Myers Programming languages, compilers, distributed systems,
  runtime systems 

• Keshav Pingali Programming languages, parallel computing 

• Fred Schneider Concurrent and distributed systems, computer and
  network security 

• David Schwartz Computational mechanics, applied mathematics, and
  educational technology 

• Bart Selman Artificial intelligence and experimental computer science 

• Praveen Seshadri Database systems 

• David B. Shmoys Design and analysis of efficient algorithms, scheduling 

• Eva Tardos Design and analysis of algorithms, optimization,
  communication networks, combinatorics 

• Tim Teitelbaum Programming languages, systems and environments 

• Sam Toueg Distributed computing, fault tolerance, and real-time 

• Charles Van Loan Numerical linear and multilinear algebra 

• Robbert van Renesse Distributed computing, fault-tolerance, real-time
  systems 

• Stephen A. Vavasis Numerical analysis, optimization 

• Thorsten von Eicken High performance communication in clusters of
  workstations 

• Ramin Zabih Computer vision, multimedia, information technology