Faculty

Jayadev Acharya

Research Focus: Information theory, machine learning, and algorithmic statistics

Research Areas: Artificial Intelligence, Theory of Computing

Rachit Agarwal

Research Focus: Distributed systems, systems for big data analytics, networking, design and analysis of algorithms

Research Areas: Systems and Networking

David Albonesi

Research Focus: Adaptive and reconfigurable multi-core and processor architectures, power- and reliability-aware computing, and high performance interconnect architectures using silicon nanophotonics

Research Areas: Computer Architecture & VLSI

Lorenzo Alvisi

Research Focus: Theory and practice of dependable distributed computing

Research Areas: Systems and Networking

Erik Andersen

Research Focus: Learning science, knowledge representations, automatic generation of educational content, video games, large-scale experimentation, human-computer interaction

Research Areas: Human Interaction, Programming Languages

Yoav Artzi

Research Focus: Natural language processing, situated language understanding, automated natural language interaction, machine learning

Research Areas: Artificial Intelligence

Graeme Bailey

Research Focus: Mathematical modeling, applications to medicine and biology, geometry, parametrization spaces and connectivity

Kavita Bala

Research Focus: Computer graphics - scalable graphics; perceptually-based, realistic rendering; image-based texturing and modeling

Research Areas: Artificial Intelligence, Graphics, Scientific Computing

Siddhartha Banerjee

Research Focus: Stochastic Modeling, Design of Scalable Algorithms, Matching Markets and Social Computing, Control of Information-Flows, Learning and Recommendation

Research Areas: Theory of Computing

Christopher Batten

Research Focus: High performance and energy-efficient parallel computer architecture and VSLI design

Research Areas: Computer Architecture & VLSI

Serge Belongie

Research Focus: Research Focus: Computer Vision, Machine Learning, Crowdsourcing, Human-in-the-Loop Computing

Research Areas: Artificial Intelligence, Graphics, Human Interaction

Austin Benson

Research Focus: Methods and algorithms for network science; tensor computations and numerical linear algebra; behavioral modeling in the information sciences.

Research Areas: Artificial Intelligence, Human Interaction, Scientific Computing

David Bindel

On Sabbatical: Fall 2018, Spring 2019

Research Focus: Microelectromechanical systems (MEMS), numerical linear algebra, finite element analysis, floating point computation and network tomography

Research Areas: Scientific Computing

Ken Birman

Research Focus: Reliability and security in modern networked environments

Research Areas: Security, Systems and Networking

Ronald Brachman

Research Focus: Artificial intelligence, information retrieval, database management

Research Areas: Artificial Intelligence, Database Systems

Anne Bracy

Research Focus: computer architecture, instruction fusion, hardware support for thread synchronization

Research Areas: Computer Architecture & VLSI

Claire Cardie

Research Focus: Natural language processing

Research Areas: Artificial Intelligence, Human Interaction

Eshan Chattopadhyay

Research Focus: Use of Randomness in Computation, Computational Complexity Theory and Cryptography

Research Areas: Theory of Computing

Yudong Chen

Research Focus: Machine Learning, high dimensional and robust statistics and convex optimazation

Research Areas: Artificial Intelligence

Tanzeem Choudhury

Research Focus: Machine learning techniques for systems that can reason about human activities, interactions, and social networks in everyday environments

Research Areas: Artificial Intelligence, Human Interaction

Michael Clarkson

Research Focus: Security, programming languages, electronic voting

Research Areas: Programming Languages, Security

Robert Constable

On Sabbatical: Spring 2019

Research Focus: Type theory and automated reasoning

Research Areas: Artificial Intelligence, Programming Languages, Theory of Computing

Dan Cosley

Research Focus: Human-computer interaction, online communities, and recommender systems

Research Areas: Human Interaction

Anil Damle

Research Focus: development of algorithms in applied and computational mathematics (e.g. numerical linear algebra, computational quantum chemistry, and spectral clustering)

Research Areas: Scientific Computing

Cristian Danescu-Niculescu-Mizil

Research Focus: Computational Social Science, Social Computing, Computational Linguistics, Natural Language Processing

Research Areas: Artificial Intelligence, Human Interaction

Christopher De Sa

Research Focus: Developing and understanding algorithmic, software, and hardware techniques for high-performance machine learning

Research Areas: Artificial Intelligence

Christina Delimitrou

Research Focus: Computer Architecture, Computer Systems, Datacenter Systems, Cloud Computing, Applied Data Mining

Research Areas: Computer Architecture & VLSI, Systems and Networking

Nicola Dell

Research Focus: Human computer interaction (HCI) and Information and Communication Technologies for Development (ICTD)

Research Areas: Human Interaction

Alan Demers

Research Focus: Database systems, database replication, and algorithms

Research Areas: Database Systems

Shimon Edelman

Research Focus: The fields of human and machine cognition (in particular, visual recognition and natural language processing)

Research Areas: Artificial Intelligence, Graphics

Deborah Estrin

Research Focus: Mobile systems and applications, participatory sensing, health applications, privacy

Research Areas: Human Interaction, Systems and Networking

K-Y. Fan

Research Focus: The application of systems analysis techniques for water resources and environmental problems

Nate Foster

Research Focus: Programming languages, data management, and security

Research Areas: Programming Languages, Security, Systems and Networking

Michael George

Research Focus: Programming languages and methodologies for building correct, secure and efficient software

Research Areas: Programming Languages

Arpita Ghosh

Research Focus: Algorithms and mechanism design in the context of strategic behavior on the web, particularly social computing, user generated content, and crowd sourcing, and markets and mechanims for privacy

Research Areas: Artificial Intelligence, Human Interaction

Carla Gomes

Research Focus: Solving hard combinatorial problems, with an emphasis on planning and scheduling problems

Research Areas: Artificial Intelligence, Computational Biology

Donald Greenberg

On Sabbatical: Fall 2018, Spring 2019

Research Focus: Computer graphics and its applications in a range of disciplines, from animation to architecture to biology

Research Areas: Graphics

David Gries

Research Focus: Program methodology and related areas; logic; teaching in lower level courses

Francois Guimbretiere

Research Focus: The overarching goal of my research is to bring the ease of use of pen and paper interactions to computer interfaces

Research Areas: Human Interaction

Nika Haghtalab

Start Date: July 2019

Research Focus: Social and Economic Aspects of Machine Learning, Theory of Machine Learning, Algorithmic Economics, Artificial Intelligence, Algorithms, and Optimization

Joseph Halpern

Research Focus: Reasoning about knowledge and uncertainty, distributed computing, causality, security, game theory

Research Areas: Artificial Intelligence, Security, Theory of Computing

Bharath Hariharan

Research Focus: Rich visual understanding (object recognition, object detection, segmentation and beyond), machine learning (deep learning, convolutional networks)

Research Areas: Artificial Intelligence, Graphics

Juris Hartmanis

Research Focus: Computational complexity theory

Research Areas: Theory of Computing

Haym Hirsh

Research Focus: Artificial intelligence, collective intelligence, crowdsourcing, data mining, human computation, information retrieval, machine learning

Research Areas: Artificial Intelligence, Human Interaction

Guy Hoffman

Research Focus: Human-Robot Interaction; human-robot teamwork and collaboration; robotic personal companions; non-anthropomorphic robot design; embodied cognition in probots

Research Areas: Artificial Intelligence, Robotics

John Hopcroft

Research Focus: Algorithms, information capture and access, random graphs and spectral methods

Research Areas: Artificial Intelligence, Theory of Computing

Daniel Huttenlocher

Research Focus: Computer vision, specifically the problems of model-based recognition, geometric shape comparison, and the computation of visual correspondence

Research Areas: Artificial Intelligence, Graphics, Human Interaction, Robotics

Thorsten Joachims

Research Focus: Machine learning and learning theory, with a focus on problems arising in information retrieval and natural language understanding

Research Areas: Artificial Intelligence

Ari Juels

Research Focus: ?big data? security analytics, cybersecurity, cloud security, user authentication, privacy, medical-device security, biometric security, and RFID / NFC security

Research Areas: Human Interaction, Security

Malte Jung

Research Focus: Computer-supported cooperative work, teamwork, emotion, human-robot interaction, design

Research Areas: Human Interaction

Alon Keinan

Research Focus: Studies how human genetic variation has arisen from evolutionary history. Develops theoretical tools and applies them to genomic data sets, bridging theoretical population genetics and empirical studies.

Research Areas: Computational Biology

Jon Kleinberg

On Sabbatical: Fall 2018, Spring 2019

Research Focus: Algorithm design, with an emphasis on the social and information networks that underpin the Web and other on-line media

Research Areas: Artificial Intelligence, Human Interaction, Theory of Computing

Robert Kleinberg

Research Focus: Design and analysis of algorithms, especially randomized and on-line algorithms for networked systems and electronic markets

Research Areas: Artificial Intelligence, Theory of Computing

Ross Knepper

Research Focus: Robotics, industrial automation, planning, manipulation, human-robot interaction, artificial intelligence

Research Areas: Artificial Intelligence, Human Interaction, Robotics

Dexter Kozen

Research Focus: Computational complexity, program logic and semantics, computational algebra

Research Areas: Programming Languages, Security, Theory of Computing

Hadas Kress-Gazit

Research Focus: Robotics, motion planning, task planning, language for robotics and human robot interaction

Research Areas: Artificial Intelligence, Human Interaction, Robotics

Volodymyr Kuleshov

Start Date: July, 2019, Cornell Tech

Research Focus: Artificial intelligence, machine learning, and computational genomics

Lillian Lee

On Sabbatical: Fall 2018, Spring 2019

Research Focus: Natural language processing

Research Areas: Artificial Intelligence, Human Interaction

Steve Marschner

Research Focus: Computer graphics, realistic rendering and simulation, material models for surfaces, volumes, and deformable objects

Research Areas: Graphics, Scientific Computing

Jose Martinez

Research Focus: Reconfigurable and self-optimizing multicore architectures, architectural implications of disruptive technologies

Research Areas: Computer Architecture & VLSI

David Mimno

Research Focus: Machine learning, text mining, digital humanities

Research Areas: Artificial Intelligence, Human Interaction

Greg Morrisett

Research Focus: Programming languages, software security, formal methods

Research Areas: Programming Languages, Security

Andrew Myers

Research Focus: Security, programming language design and implementation, persistent and distributed object systems

Research Areas: Programming Languages, Security, Systems and Networking

Mor Naaman

Research Focus: Social media, data mining, human-computer interaction, computational social science, interactive systems

Research Areas: Human Interaction

Anil Nerode

Research Focus: Mathematical logic, computational theory, recursive mathematics, nonstandard logics, nonmontonic logics, AI, applied mathematics.

Tapan Parikh

Research Focus: Human-Computer Interaction (HCI), Information and Communication Technologies for Development (ICTD), Computer Science Education

Research Areas: Artificial Intelligence, Database Systems, Human Interaction

Rafael Pass

Research Focus: Cryptography and its interplay with computational complexity and game theory.

Research Areas: Artificial Intelligence, Security, Theory of Computing

Kirstin Petersen

Research Focus: Design and coordination of bio-inspired robot collectives and their natural counterparts

Research Areas: Robotics

Martha E. Pollack

Research Focus: Artificial intelligence

Research Areas: Artificial Intelligence

Tom Ristenpart

Research Focus: Software security, applied and theoretical cryptography

Research Areas: Security

Adrian Sampson

Research Focus: Hardware-software abstractions,computer architecture, programming languages, compilers, and software engineering

Research Areas: Computer Architecture & VLSI, Programming Languages

Fred Schneider

On Leave: Fall 2018

Research Focus: Concurrent and distributed systems; computer and network security

Research Areas: Programming Languages, Security, Systems and Networking

Xanda Schofield

Research Focus: Natural Language Processing and Machine Learning

Bart Selman

Research Focus: Knowledge representation, reasoning and search, algorithms and complexity, planning, machine learning, cognitive science, software agents, and connections between computational complexity and statistical physics

Research Areas: Artificial Intelligence

Phoebe Sengers

Research Focus: Ecological Media, or interactive media devices which shape our experience of the environment in our everyday lives

Research Areas: Human Interaction

Elaine Shi

On Leave: Fall 2018, Spring 2019, Fall 2019

Research Focus: Security, cryptography, programming languages, and systems, with applications to cryptocurrency, cloud computing, and privacy

Research Areas: Security, Theory of Computing

Vitaly Shmatikov

Research Focus: Reseach focus: Computer Security and privacy

Research Areas: Security

David Shmoys

Research Focus: Design and analysis of efficient algorithms for discrete optimization problems, in particular approximation algorithms for NP-hard problems

Research Areas: Artificial Intelligence, Computational Biology, Theory of Computing

Emin Gun Sirer

On leave: Fall 2018, Spring 2019

Research Focus: Secure distributed systems, extensible operating systems, language-based security, automated testing

Research Areas: Security, Systems and Networking

Noah Snavely

Research Focus: Computer vision and computer graphics, specifically 3D reconstruction and rendering from large community photo collections

Research Areas: Graphics, Human Interaction

Karthik Sridharan

Research Focus: Machine learning with a focus on theoretical analysis and design of learning algorithms. Online learning, statistical learning theory, stochastic optimization and empirical process theory

Research Areas: Artificial Intelligence, Theory of Computing

G. Edward Suh

Research Focus: Architectural support for security, reliability, and programmability; field extensible/repairable architecture; non-volatile microprocessors for highly embedded systems; intelligent on-chip networks

Research Areas: Computer Architecture & VLSI, Security

A. Kevin Tang

Research Focus: Networks, especially control and optimization of engineering networks such as the Internet, power grids, and neural networks

Eva Tardos

On Sabbatical: Spring 2019

Research Focus: Algorithm Design and Algorithmic Game Theory

Research Areas: Artificial Intelligence, Human Interaction, Theory of Computing

Ross Tate

On Leave: Fall 2018

Research Focus: Language Design, Program Optimization, Type Theory, Semantics, Program Analysis

Research Areas: Programming Languages

Tim Teitelbaum

Research Focus: Automatic Program Analysis

Immanuel Trummer

Research Focus: Databases, data science, optimization

Research Areas: Database Systems

Madeleine Udell

Research Focus: Optimization and machine learning for large scale data analysis and control

Research Areas: Artificial Intelligence, Scientific Computing, Theory of Computing

Charles Van Loan

Research Focus: Numerical linear and multilinear algebra

Research Areas: Scientific Computing

Robbert van Renesse

Research Focus: Scalable, adaptive, and secure group communication protocols

Research Areas: Systems and Networking

Aaron Wagner

Research Focus: information theory, especially compression, feedback communication, security, and quantum information.

Research Areas: Theory of Computing

Hakim Weatherspoon

Research Focus: Fault-tolerance, reliability, security, and performance of Internet-scale systems

Research Areas: Systems and Networking

Kilian Weinberger

Research Focus: Machine Learning with a focus on real-world problems

Research Areas: Artificial Intelligence

Walker White

Research Focus: Database Theory, Information Privacy, Logic applications to Computer Science

Research Areas: Database Systems, Human Interaction

Stephen Wicker

Research Focus: Artificial intelligence, game theory and wireless information networks

Research Areas: Artificial Intelligence

Amy Williams

Research Focus: Algorithms for large scale genetic data, inference of demographic history, population and individual relationships, and studies of recombination and mutation.

Research Areas: Computational Biology

David Williamson

Research Focus: Algorithms, combinatorial optimization, computer science

Research Areas: Theory of Computing

Andrew Gordon Wilson

Research Focus: Machine learning, kernel learning, artificial intelligence, scientific computing, and deep learning

Haiyuan Yu

Research Focus: Biomedical systems biology, machine learning, algorithm development, with an emphasis on network analysis, to understand human disease and evolution of species

Research Areas: Computational Biology

Ramin Zabih

Research Focus: Computer vision and its applications, especially in medical imaging, with an emphasis on the use of combinatorial optimization algorithms

Research Areas: Scientific Computing

Zhiru Zhang

Research Focus: Computer-aided design methodologies, optimization algorithms, compilers, and computer architectures of gigascale integrated systems; esp. system-on-chips