Software verification, computer security, programming languages, compilers.
ACM Fellow, 1998. SIGPLAN Distinguished Service Award, 2002.
Sanjeev Arora (on leave)
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
Computer Architecture and Compilers.
IEEE Fellow, 2015.
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.
Visualization, pervasive computing, software engineering.
ACM Fellow, 1997.
Computational complexity, pseudo-randomness, coding theory and
Alfred P. Sloan Research Fellowship, 2013; NSF CAREER Award, 2013; SIAM Dénes König Prize, 2012.
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.
Adam Finkelstein (on leave)
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.
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: 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: privacy, security, tech policy, cryptography, social networks
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.
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.
Olga Russakovsky (appointment starts July 1, 2017)
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.
Programming languages, type systems, compilers, domain-specific languages, and software-defined networking.
ACM SIGPLAN Robin Milner Young Researcher Award, 2015
Research Interests: ACM Distinguished Educator, 2014.
Research Interests: Cryptography, Privacy, Quantum Computing