Faculty

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

Research Areas: Artificial Intelligence, Theory of Computing

Research Concentration: Artificial Intelligence, Theory of Computation

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

Research Areas: Systems and Networking, Theory of Computing

Research Concentration: Systems, Theory of Computation

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, Systems and Networking

Research Concentration: Systems

Research Focus: Theory and practice of dependable distributed computing

Research Areas: Systems and Networking

Research Concentration: Systems

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

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Research Focus: Human-computer Interactions and Accessibility

Research Areas: Human Interaction

Research Concentration: Scientific Computing and Applications

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

Research Areas: Artificial Intelligence, Graphics, Vision

Research Concentration: Artificial Intelligence, Programming Languages and Logics, Scientific Computing and Applications

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

Research Concentration: Theory of Computation

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

Research Areas: Computer Architecture & VLSI, Systems and Networking

Research Concentration: Systems

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

Research Areas: Artificial Intelligence, Vision

Research Concentration: Artificial Intelligence, Scientific Computing and Applications

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

Research Areas: Artificial Intelligence, Scientific Computing

Research Concentration: Artificial Intelligence, Scientific Computing and Applications

Joining Cornell in Ithaca, Fall 2021; Visiting Assistant Professor AY2020-2021

Research Focus: Human-Robot Interaction, Robot Manipulation, Haptic Perception, Assistive Robotics

Research Areas: Artificial Intelligence, Human Interaction, Machine Learning, Robotics

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

Research Areas: Scientific Computing

Research Concentration: Scientific Computing and Applications

Research Focus: Reliability and security in modern networked environments

Research Areas: Systems and Networking

Research Concentration: Systems

Research Focus: Artificial intelligence, information retrieval, database management

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Research Focus: Computer Architecture, Instruction Fusion, Hardware Support for Thread Synchronization

Research Areas: Computer Architecture & VLSI

Research Focus: Robotics, Sensor fusion, Machine learning and Perception

Research Areas: Artificial Intelligence, Robotics

Research Focus: Natural language processing

Research Areas: Artificial Intelligence, Human Interaction

Research Concentration: Artificial Intelligence

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

Research Areas: Theory of Computing

Research Concentration: Theory of Computation

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

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

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

Research Concentration: Artificial Intelligence

Research Focus: Security, programming languages, electronic voting

Research Areas: Programming Languages, Security

Research Focus: Type theory and automated reasoning

Research Areas: Programming Languages, Theory of Computing

Research Concentration: Programming Languages and Logics

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

Research Concentration: Scientific Computing and Applications

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

Research Areas: Artificial Intelligence, Human Interaction

Research Concentration: Artificial Intelligence

Research Focus: Computer Graphics, Vision, HCI

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

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

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

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

Research Areas: Systems and Networking

Research Concentration: Systems

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

Research Areas: Human Interaction

Research Concentration: Artificial Intelligence

Research Focus: Database systems, database replication, and algorithms

Research Areas: Database Systems

Research Focus: Consciousness, computational social science, computational linguistics

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Joining Cornell in Ithaca, Fall 2021

Research Focus: AI, ML, Program Induction

Research Areas: Artificial Intelligence, Machine Learning

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

Research Areas: Human Interaction, Systems and Networking

Research Concentration: Systems

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

Research Focus: Distributed systems, computer vision, and robotics

Research Areas: Robotics

Research Concentration: Artificial Intelligence

Research Focus: Programming languages, data management, and security

Research Areas: Programming Languages, Security, Systems and Networking

Research Concentration: Programming Languages and Logics, Systems

Research Focus: Optimal transport theory, Statistical machine learning, information theory, high-dimensional statistic, applied probability and interacting particle systems

Research Areas: Theory of Computing

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

Research Areas: Artificial Intelligence, Computational Biology

Research Concentration: Artificial Intelligence

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

Research Areas: Graphics

Research Concentration: Scientific Computing and Applications

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

Research Focus: Computer Interfaces

Research Areas: Human Interaction

Research Concentration: Systems

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

Research Areas: Artificial Intelligence, Security, Theory of Computing

Research Concentration: Artificial Intelligence, Programming Languages and Logics, Theory of Computation

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

Research Areas: Artificial Intelligence, Scientific Computing, Vision

Research Concentration: Artificial Intelligence, Scientific Computing and Applications

Research Focus: Computational complexity theory

Research Areas: Theory of Computing

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

Research Areas: Artificial Intelligence, Human Interaction

Research Concentration: Artificial Intelligence

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

Research Concentration: Artificial Intelligence

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

Research Areas: Artificial Intelligence, Theory of Computing

Research Concentration: Artificial Intelligence, Theory of Computation

Research Focus: Programming languages, formal verification, algorithms, differential privacy.

Research Areas: Programming Languages, Theory of Computing

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

Research Areas: Artificial Intelligence, Human Interaction

Research Concentration: Artificial Intelligence

Research Focus: Interaction with Automation; Interaction Design Research; Human Robot Interaction; Automotive Interaction Design

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Research Focus: Big Data, Security Analytics, Cybersecurity, Cloud security, User authentication, Privacy, Medical-device security, Biometric security, and RFID / NFC security

Research Areas: Systems and Networking

Research Concentration: Systems

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

Research Areas: Artificial Intelligence, Human Interaction

Research Concentration: Artificial Intelligence

Research Focus: Causal inference; Machine learning; Personalization; Optimization in statistics; Data-driven optimization under uncertainty; Online decision making; Decision making and operations in healthcare.

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Research Focus: Human genetic variation in evolutionary history; theoretical tools applied to genomic data sets; theoretical population genetics and empirical studies

Research Areas: Computational Biology, Scientific Computing

Research Concentration: Scientific Computing and Applications

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

Research Areas: Human Interaction, Theory of Computing

Research Concentration: Artificial Intelligence, Theory of Computation

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

Research Concentration: Artificial Intelligence, Theory of Computation

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

Research Areas: Programming Languages, Theory of Computing

Research Concentration: Programming Languages and Logics, Theory of Computation

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

Research Areas: Artificial Intelligence, Human Interaction, Robotics

Research Concentration: Artificial Intelligence

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

Research Areas: Artificial Intelligence, Scientific Computing

Research Focus: Machine Learning, Robotics, Computational Neuroscience

Research Areas: Artificial Intelligence, Robotics

Research Concentration: Artificial Intelligence

Research Focus: Natural language processing

Research Areas: Artificial Intelligence, Human Interaction

Research Concentration: Artificial Intelligence

Research Focus: Software Engineering, Applied Formal Methods

Research Areas: Programming Languages, Systems and Networking

Research Concentration: Programming Languages and Logics, Systems

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

Research Areas: Graphics, Vision

Research Concentration: Scientific Computing and Applications

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

Research Areas: Computer Architecture & VLSI, Systems and Networking

Research Concentration: Systems

Research Focus: Machine learning, text mining, digital humanities

Research Areas: Artificial Intelligence, Human Interaction

Research Concentration: Artificial Intelligence

Research Focus: Programming languages, software security, formal methods

Research Areas: Programming Languages, Systems and Networking

Research Concentration: Programming Languages and Logics, Systems

Research Areas: Scientific Computing

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

Research Areas: Programming Languages, Security, Systems and Networking

Research Concentration: Programming Languages and Logics

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

Research Areas: Human Interaction

Research Concentration: Systems

Research Focus: Wireless networking, Mobile Systems and Mobile Health.

Research Areas: Systems and Networking

Research Concentration: Systems

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

Research Areas: Artificial Intelligence, Theory of Computing

Research Concentration: Artificial Intelligence

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

Research Areas: Artificial Intelligence, Systems and Networking

Research Concentration: Artificial Intelligence, Systems

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

Research Areas: Theory of Computing

Research Concentration: Artificial Intelligence, Theory of Computation

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

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Joining Cornell Tech, Summer 2021

Research Focus: Data Science and Machine Learning

Research Areas: Machine Learning

Research Focus: Artificial intelligence

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Research Focus: Software security, applied and theoretical cryptography

Research Areas: Systems and Networking, Theory of Computing

Research Concentration: Systems, Theory of Computation

Research Focus: Natural Language Processing, Machine Learning

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Research Focus: biomedical image analysis, with an emphasis on neuroimaging. My group works at the intersection of computer vision, applied machine learning, and biomedical imaging

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

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

Research Areas: Computer Architecture & VLSI, Programming Languages, Systems and Networking

Research Concentration: Programming Languages and Logics

Research Focus: continuous optimization, stochastic optimization, optimization in machine learning, complexity analysis

Research Concentration: Scientific Computing and Applications, Theory of Computation

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

Research Areas: Programming Languages, Security, Systems and Networking

Research Concentration: Programming Languages and Logics, Systems

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

Research Concentration: Artificial Intelligence

Research Focus: Designing technology for social impact, rural infrastructure, critical data studies

Research Areas: Artificial Intelligence, Human Interaction

Research Concentration: Artificial Intelligence

On leave: Fall 2020, Spring 2021

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

Research Areas: Systems and Networking, Theory of Computing

Research Concentration: Systems, Theory of Computation

Research Focus: Reseach focus: Computer Security and privacy

Research Areas: Artificial Intelligence, Systems and Networking

Research Concentration: Systems

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

Research Areas: Computational Biology, Scientific Computing, Theory of Computing

Research Concentration: Scientific Computing and Applications, Theory of Computation

Research Focus: Programming language semantics and verification

Research Areas: Programming Languages, Theory of Computing

On leave: Fall 2020, Spring 2021

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

Research Areas: Security, Systems and Networking

Research Concentration: Systems

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

Research Areas: Graphics, Human Interaction, Vision

Research Concentration: Artificial Intelligence, Scientific Computing and Applications

On sabbatical: Spring 2021

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

Research Concentration: Artificial Intelligence, Theory of Computation

Research Focus: Theoretical Computer Science, Security, Cryptography

Research Areas: Security, Theory of Computing

Research Concentration: Theory of Computation

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: Security, Systems and Networking

Research Concentration: Systems

Research Focus: Machine Learning, Reinforcement Learning, Decision Making under Uncertainty

Research Areas: Artificial Intelligence, Robotics, Theory of Computing

Research Concentration: Artificial Intelligence

Research Focus: Management and optimization of computer networks; non-convex optimization

Research Areas: Systems and Networking, Theory of Computing

Research Concentration: Systems, Theory of Computation

Research Focus: Algorithm Design and Algorithmic Game Theory

Research Areas: Human Interaction, Theory of Computing

Research Concentration: Theory of Computation

Research Focus: Automatic Program Analysis

Research Focus: Databases, data science, optimization

Research Areas: Database Systems, Systems and Networking

Research Concentration: Systems

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

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

Research Concentration: Artificial Intelligence, Scientific Computing and Applications, Theory of Computation

Research Focus: Numerical linear and multilinear algebra

Research Areas: Scientific Computing

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

Research Areas: Security, Systems and Networking

Research Concentration: Systems

Research Focus: Natural language processing, machine learning, cognitive modeling

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

Research Focus: Theory of Computation, Computational Biology, Discrete Optimization, Operations Research

Research Areas: Computational Biology, Theory of Computing

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

Research Areas: Theory of Computing

Research Concentration: Theory of Computation

Research Focus: Data Mining, Machine Learning, Health Data Science, Clinical Decision Support, Computational Drug Discovery

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

On sabbatical: Spring 2021, Fall 2021

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

Research Areas: Systems and Networking

Research Concentration: Systems

On leave: Fall 2020, Spring 2021

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

Research Areas: Artificial Intelligence

Research Concentration: Artificial Intelligence

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

Research Areas: Database Systems, Human Interaction

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

Research Areas: Artificial Intelligence, Theory of Computing

Research Concentration: Artificial Intelligence, Theory of Computation

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

Research Concentration: Scientific Computing and Applications

Research Focus: Algorithms, combinatorial optimization, computer science

Research Areas: Theory of Computing

Research Concentration: Theory of Computation

Research Focus: Theory of Computing, Artificial Intelligence (Machine Learning), Scientific Computing

Research Areas: Theory of Computing

Research Concentration: Theory of Computation

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

Research Concentration: Scientific Computing and Applications

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

Research Areas: Human Interaction, Vision

Research Concentration: Artificial Intelligence, Theory of Computation

Research Focus: Ubiquitous Computing, Wearable Computing, Human Computer Interaction

Research Areas: Artificial Intelligence

Research Concentration: Systems

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

Research Areas: Systems and Networking

Research Concentration: Systems