Faculty
Ryan Adams
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, National Academy of Sciences (2018); 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
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
Aarti Gupta
Research Interests:
Formal verification, program analysis, logic decision procedures.
ACM Fellow, 2017.
Elad Hazan
Research Interests: Theoretical foundations of machine learning, design and analysis of efficient algorithms for machine learning and mathematical optimization.
Felix Heide (appointment starts February 1, 2019)
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.
HPCA Test-of-Time Paper Award, 2018; IEEE Computer Society Technical Achievement Award, 2018; Marie Pistilli Women in EDA Achievement Award, 2015; Anita Borg Institute Technical Leadership Award, 2013; ACM Fellow, 2009; IEEE Fellow, 2010.
Jonathan Mayer
Research Interests: Technology law and policy, with emphasis on national security, criminal procedure, consumer privacy, network management, and online speech.
Christopher Moretti
Research Interests: Distributed systems, computer science education
Karthik Narasimhan
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.
SIGCOMM Award for Lifetime Contribution, 2018; ACM-W Athena Lecturer Award, 2016; National Academy of Engineering, 2014; Member, American Academy of Arts and Sciences, 2013; Member, ACM Fellow, 2008.
Szymon Rusinkiewicz
Research Interests: Computer graphics; acquisition of 3D shape, reflectance, and appearance of real-world objects.
Olga Russakovsky
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
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
