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  Distributed computing, fault-tolerant network systems, distributed systems security, large-scale network applications  
• 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  Computational complexity, formal semantics, applied logic, automated reasoning 
• Ron Elber  Computational molecular biology, genomics  
• Carla Gomes  Artificial intelligence, operations research, planning and scheduling 
• Donald P. Greenberg  Realistic image synthesis, modeling, scientific visualization, computer-aided design, image processing 
• David Gries  Programming methodology, programming languages, compiler construction 
• Joseph Halpern  Reasoning about knowledge and uncertainty, decision theory, logic, artificial intelligence, distributed computing, security 
• Juris Hartmanis  Theory of computation  
• Daniel P. Huttenlocher  Computer vision 
• Klara Kedem  Computational geometry 
• S. Keshav  Networks, quality of service, multimedia. Telephony and telecommunications networks 
• Jon Kleinberg  Theory of computation, algorithms, computational biology 
• Dexter Kozen  Theory of computation, proof-carrying code, computational complexity, analysis of algorithms, program logics and semantics 
• Dean Krafft  Digital libraries, information access 
• Christoph Kreitz  Automated reasoning, program transformation, verification & synthesis 
• Carl Lagoze  Digital libraries  
• Lillian Lee  Natural language processing 
• Yuying Li  Scientific computation, numerical optimization 
• J. Gregory Morrisett  Programming languages, compilers, distributed systems, runtime systems 
• Andrew Myers  Programming languages, security, mobile code 
• Keshav Pingali  Compilers, parallel computing, programming languages 
• Ronitt Rubinfeld  Theory of computation, randomized algorithms, computational complexity 
• Fred B. Schneider  Distributed systems security and fault-tolerance, concurrent programming, operating systems  
• Bart Selman  Artificial intelligence and experimental computer science 
• Praveen Seshadri  Database systems 
• David Shmoys  Design and analysis of algorithms, discrete optimization, scheduling 
• Brian Smith  Multimedia systems  
• Eva Tardos  Design and analysis of algorithms, optimization, communication networks, combinatorics 
• Tim Teitelbaum  Programming languages, systems, environments 
• Sam Toueg  Distributed computing, fault tolerance, real-time systems  
• Charles Van Loan  Matrix computations, scientific computing 
• Robbert van Renesse  Distribute computing, fault-tolerance, distributed multimedia systems 
• Stephen Vavasis  Numerical analysis, optimization 
• Thorsten von Eicken  Parallel and distributed systems, computer architecture 
• Ramin Zabih  Computer vision, multimedia, information technology 
• Richard Zippel  Symbolic mathematics, scientific software