Software verification, computer security, programming languages, compilers.
ACM Fellow, 1998. SIGPLAN Distinguished Service Award, 2002.
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)
Research Interests: Computer Architecture and Compilers
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.
Natural Algorithms, Dynamical Systems, Dynamic Networks, Computational Geometry, Discrepancy Theory.
Member, American Academy of Arts and Sciences, 2004; ACM Fellow, 1996.
Jia Deng (appointment starts September 1, 2018)
Visualization, pervasive computing, software engineering.
ACM Fellow, 1997.
Machine learning, Bayesian statistics, statistical genetics, computational biology, quantitative genetics.
Alfred P. Sloan Research Fellowship, 2016
Network systems, security, management, and measurement.
Presidental Early Career Award (PECASE), 2007
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.
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.
Computer graphics, animation.
ACM Fellow, 2014.
Research Interests: Networking and Telecommunications, Computer-Human Interaction, Online Learning and MOOCs, R&D Innovation Methodologies
Distributed systems, security, networking.
Presidental Early Career Award (PECASE), 2011; ONR Young Investigator, 2009.
Computer graphics and computer vision.
ACM SIGGRAPH Computer Graphics Achievement Award, 2014.
Research Interests: Technology in education, learning sciences, HCI
Research Interests: Formal verification, program analysis, logic decision procedures
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)
Research Interests: Networking, Wireless Systems, Internet of Things
Research Interests: Mobile software, middleware and protocols; communication and networking for consumer applications and services, software engineering.
Application-specific languages, document preparation, user interfaces, software tools, programming methodology.
Member, National Academy of Engineering, 2002; USENIX Association Lifetime Achievement Award, 1997.
Research Interests: programming languages, program analysis, program verification, automated reasoning
Research Interests: Search and retrieval of information; data mining, particularly clustering; combinatorial algorithms.
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.
Research Interests: Distributed Systems
Research Interests: Probabilistic algorithms, data streaming, data structures, analysis of algorithms, analytic combinatorics.
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.
Research Interests: Distributed systems, computer science education
Research Interests: Information privacy, fairness in machine learning, cryptocurrencies, tech policy
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.
Research Interests: Quantum computation, Information-Based Complexity
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.
Research Interests: Computer graphics; acquisition of 3D shape, reflectance, and appearance of real-world objects.
Robert Sedgewick (on leave)
Scientific analysis of algorithms, Analytic combinatorics.
ACM Fellow, 1997
Research Interests: Ho-Am Prize in Engineering, 2008; McKnight Scholar Award, 2000.
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.
Computational molecular biology, as well as its interface with machine learning and algorithms.
Presidental Early Career Award (PECASE), 2001.
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.
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.
Research Interests: Programming languages, type systems, compilers, domain-specific languages, and software-defined networking.
Research Interests: ACM Distinguished Educator, 2014.
Research Interests: Cryptography, Privacy, Quantum Computing