Research Interests: I am interested in machine learning, artificial intelligence, and computational statistics, with applications across science and engineering. I have broad interests but often work on probabilistic methods and approximate Bayesian inference.
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)
David August (on leave)
Research Interests: Computer Architecture and Compilers
Mark Braverman (on leave)
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 (on leave)
Natural Algorithms, Dynamical Systems, Dynamic Networks, Computational Geometry, Discrepancy Theory.
Member, American Academy of Arts and Sciences, 2004; ACM Fellow, 1996.
Research Interests: My research is in natural language processing (NLP) and machine learning. I am particularly interested in the intersection of text understanding and knowledge representation & reasoning and applications in question answering, information extraction, and conversational systems.
Adji Dieng (appointment starts September 1, 2021)
Visualization, pervasive computing, software engineering.
ACM Fellow, 1997.
Machine learning, Bayesian statistics, statistical genetics, computational biology, quantitative genetics.
Alfred P. Sloan Research Fellowship, 2016
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
Michael Freedman (on leave)
Distributed systems, security, networking.
ACM Fellow, 2019; ACM Grace Murray Hopper Award, 2018; Presidental Early Career Award (PECASE), 2011; ONR Young Investigator, 2009.
Formal verification, program analysis, logic decision procedures.
ACM Fellow, 2017.
Research Interests: Theoretical foundations of machine learning, design and analysis of efficient algorithms for machine learning and mathematical optimization.
Research Interests: Computational Imaging, Computer Vision, Computer Graphics, Optics
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.
Research Interests: Networked Systems, Operating Systems, Hardware/Software Interfaces
Application-specific languages, document preparation, user interfaces, software tools, programming methodology.
Member, American Academy of Arts and Sciences, 2019; Member, National Academy of Engineering, 2002; USENIX Association Lifetime Achievement Award, 1997.
Research Interests: programming languages, program analysis, program verification, automated reasoning
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.
Margaret Martonosi (on leave)
Computer Architecture in Classical and Quantum Systems.
IEEE Computer Society Technical Achievement Award, 2018; Anita Borg Institute Technical Leadership Award, 2013; ACM Fellow, 2009; IEEE Fellow, 2010. American Academy of Arts and Sciences, 2019.
Research Interests: Technology law and policy, with emphasis on national security, criminal procedure, consumer privacy, network management, and online speech.
Andrés Monroy-Hernández (appointment starts August 1, 2021)
Research Interests: Distributed systems, computer science education
Research Interests: Natural language processing, Reinforcement learning, Grounded language understanding
Research Interests: Information privacy, fairness in machine learning, cryptocurrencies, tech policy
Ravi Netravali (appointment starts July 1, 2021)
Research Interests: Systems, networking, distributed systems
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
Research Interests: Computational biology, functional genomics, single-cell technologies, regulation of gene expression, immunology, cancer
Research Interests: Developing and applying computational and mathematical methods to address biological questions at the molecular and cellular level. Human and cancer genomics, including algorithmic approaches to identify and interpret genomic alterations in genomes, reconstruct tumor evolution, and discover novel therapeutic interventions. Comparative genomics, particularly analysis of genome rearrangements in evolution. Algorithms for analysis of data from high-throughput genomics and proteomics technologies.
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.
Research Interests: Computer graphics; acquisition of 3D shape, reflectance, and appearance of real-world objects.
Algorithm science, Analytic combinatorics, Data structures
ACM Fellow, 1997
Sebastian Seung (on leave)
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. ACM Fellow, 2019. ISCB Fellow, 2018.
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