Faculty
Ibrahim Albluwi
Andrew Appel
Research Interests:
Software verification, computer security, programming languages, compilers.
ACM Fellow, 1998. SIGPLAN Distinguished Service Award, 2002.
Sanjeev Arora
Research Interests:
Uses of randomness in complexity theory and algorithms; Efficient algorithms for finding approximate solutions to NP-hard problems (or proving that they don't exist); Cryptography.
Member, American Academy of Arts and Sciences (2015); Fulkerson Prize, 2012; Goedel Prize, 2010 and 2010; ACM Fellow, 2009
David August
Research Interests: Computer Architecture and Compilers
Jack Brassil
Mark Braverman
Research Interests:
Complexity theory, algorithms, game theory, machine learning, and applications of computer science in healthcare and medicine.
Presburger Award, 2016. SFCM Stephen Smale Prize, 2014; Packard Fellow, 2013.
Bernard Chazelle
Research Interests:
Natural Algorithms, Dynamical Systems, Dynamic Networks, Computational Geometry, Discrepancy Theory.
Member, American Academy of Arts and Sciences, 2004; ACM Fellow, 1996.
David Dobkin
Research Interests:
Visualization, pervasive computing, software engineering.
ACM Fellow, 1997.
Robert Dondero
Zeev Dvir (on leave)
Research Interests:
Computational complexity, pseudo-randomness, coding theory and
discrete mathematics.
Alfred P. Sloan Research Fellowship, 2013; NSF CAREER Award, 2013; SIAM Dénes König Prize, 2012.
Barbara Engelhardt
Research Interests:
Machine learning, Bayesian statistics, statistical genetics, computational biology, quantitative genetics.
Alfred P. Sloan Research Fellowship, 2016
Nick Feamster
Research Interests:
Network systems, security, management, and measurement.
Presidental Early Career Award (PECASE), 2007
Christiane Fellbaum
Research Interests:
Lexical semantics, the syntax-semantics interface, syntactic alternations, computational linguistics, large-scale lexical resources, idioms, ontology.
Humboldt Foundation Wolfgang Paul Award, 2001; LREC Antonio Zampolli Prize, 2006.
Edward Felten
Research Interests:
Computer security; network software; technology law and policy.
Member, National Academy of Engineering, 2013; Member, American Academy of Arts and Sciences, 2011; ACM Fellow, 2007; EFF Pioneer Award, 2005.
Adam Finkelstein
Research Interests:
Computer graphics, animation.
ACM Fellow, 2014.
Robert Fish
Research Interests: Networking and Telecommunications, Computer-Human Interaction, Online Learning and MOOCs, R&D Innovation Methodologies
Michael Freedman
Research Interests:
Distributed systems, security, networking.
Presidental Early Career Award (PECASE), 2011; ONR Young Investigator, 2009.
Thomas Funkhouser
Research Interests:
Computer graphics and computer vision.
ACM SIGGRAPH Computer Graphics Achievement Award, 2014.
Maia Ginsburg
Tom Griffiths
Ananda Gunawardena
Research Interests: Technology in education, learning sciences, HCI
Aarti Gupta
Research Interests: Formal verification, program analysis, logic decision procedures
Elad Hazan
Research Interests: Theoretical foundations of machine learning, design and analysis of efficient algorithms for machine learning and mathematical optimization.
Canturk Isci
Kyle Jamieson
Research Interests: Networking, Wireless Systems, Internet of Things
Alan Kaplan
Research Interests: Mobile software, middleware and protocols; communication and networking for consumer applications and services, software engineering.
Brian Kernighan
Research Interests:
Application-specific languages, document preparation, user interfaces, software tools, programming methodology.
Member, National Academy of Engineering, 2002; USENIX Association Lifetime Achievement Award, 1997.
Zachary Kincaid
Research Interests: programming languages, program analysis, program verification, automated reasoning
Gillat Kol
Andrea LaPaugh
Research Interests: Search and retrieval of information; data mining, particularly clustering; combinatorial algorithms.
Daniel Leyzberg
Kai Li
Research Interests:
Parallel architectures and systems; distributed systems; operating systems.
Member, National Academy of Engineering, 2012; ACM SIGOPS Hall of Fame, 2012; IEEE Fellow, 2011; ACM Fellow, 1998.
Xiaoyan Li
Wyatt Lloyd
Research Interests: Distributed Systems
Jérémie Lumbroso
Research Interests: Probabilistic algorithms, data streaming, data structures, analysis of algorithms, analytic combinatorics.
Margaret Martonosi
Research Interests:
Computer Architecture, Power-Aware Computing, and Mobile Computing.
Marie Pistilli Women in EDA Achievement Award, 2015; Anita Borg Institute Technical Leadership Award, 2013; ACM Fellow, 2009; IEEE Fellow, 2010.
Jonathan Mayer
Christopher Moretti
Research Interests: Distributed systems, computer science education
Arvind Narayanan
Research Interests: Information privacy, fairness in machine learning, cryptocurrencies, tech policy
Larry Peterson
Research Interests:
Networked systems, communication protocols, operating systems.
Member, National Academy of Engineering, 2010; IEEE Kobayashi Computer & Communication Award, 2010;
ACM SIGCOMM Award, 2013; ACM Fellow, 2000; IEEE Fellow, 2009.
Iasonas Petras
Research Interests: Quantum computation, Information-Based Complexity
Ben Raphael
Jennifer Rexford
Research Interests:
Networking, network virtualization, Internet measurement, network management, network troubleshooting.
Member, American Academy of Arts and Sciences, 2013; Member, National Academy of Engineering, 2014; ACM Fellow, 2008; ACM-W Athena Lecturer Award, 2016.
Szymon Rusinkiewicz
Research Interests: Computer graphics; acquisition of 3D shape, reflectance, and appearance of real-world objects.
Olga Russakovsky
Robert Schapire
Robert Sedgewick (on leave)
Research Interests:
Scientific analysis of algorithms, Analytic combinatorics.
ACM Fellow, 1997
Sebastian Seung
Research Interests: Ho-Am Prize in Engineering, 2008; McKnight Scholar Award, 2000.
Yoram Singer
Jaswinder Singh
Research Interests:
Parallel computing systems and applications: parallel applications and their implications for software and architectural design; system software and programming environments for multiprocessors. Special interest in applications of computing in computational biology, especially protein structure determination and simulating the immune system.
Presidental Early Career Award (PECASE), 1997.
Mona Singh
Research Interests:
Computational molecular biology, as well as its interface with machine learning and algorithms.
Presidental Early Career Award (PECASE), 2001.
Robert Tarjan (on leave)
Research Interests:
Data structures; graph algorithms; combinatorial optimization; computational complexity; computational geometry; parallel algorithms.
ACM Turing Award, 1986. Fellow Amer. Acad. Arts & Sci. 1985; Member Nat. Acad. Sci. 1987; Member Nat. Acad. Engineering 1988; Member Amer. Phil. Soc. 1990; ACM Fellow 1994; SIAM Fellow 2009.
Olga Troyanskaya
Research Interests:
Bioinformatics; analysis of large-scale biological data sets (genomics, gene expression, proteomics, biological networks); algorithms for integration of data from multiple data sources; visualization of biological data; machine learning methods in bioinformatics.
ISCB Overton Prize 2011; GSA Ira Herskowitz Award 2014.
David Walker
Research Interests: Programming languages, type systems, compilers, domain-specific languages, and software-defined networking.
Kevin Wayne
Research Interests: ACM Distinguished Educator, 2014.
Matthew Weinberg
Mark Zhandry
Research Interests: Cryptography, Privacy, Quantum Computing
