Ph.D. Students

Rediet Abebe

Josh Acay

Research Focus: Programming Languages for Security

Research Areas: Programming Languages, Security

Danny Adams

Aman Agarwal

Research Areas: Artificial Intelligence

Saksham Agarwal

Sebastian Ament

Daniel Amir

Makis Arsenis

Pedro Henrique Azevedo de Amorim

Research Focus: Semantics and Formal Verification

Research Areas: Programming Languages

Eugene Bagdasaryan

Research Focus: Privacy and Security, Machine Learning

Research Areas: Artificial Intelligence, Security

Junwen Bai

Yiwei Bai

Research Focus: Reinforcement Learning/Computational Sustainability

Research Areas: Artificial Intelligence

Soumya Basu

Research Focus: Robustness of Blockchains and Cryptocurrencies

Research Areas: Security, Systems and Networking

Ryan Benmalek

Research Focus: Computer Vision and Natural Language Processing

Research Areas: Artificial Intelligence, Graphics, Human Interaction

Andrew Bennett

Research Focus: Causal Inference; Policy Learning; Deep Learning

Research Areas: Artificial Intelligence

Hedyeh Beyhaghi

Johan Björck

Research Focus: AI, Computational Sustainability

Research Areas: Artificial Intelligence

Valts Blukis

Research Focus: Visuomotor Robot Control with Natural Language Interfaces

Research Areas: Artificial Intelligence, Robotics

Richard Bowen

Matt Burke

Qizhe Cai

Research Focus: Systems and Networking

Research Areas: Systems and Networking

Eric Campbell

Burcu Canakci

Research Areas: Systems and Networking

Ethan Cecchetti

Research Focus: Information Flow Control, Applied Cryptography, Privacy

Research Areas: Programming Languages, Security, Systems and Networking

Jonathan Chang

Research Focus: Natural Language Processing, Computational Social Science

Research Areas: Artificial Intelligence

Rahul Chatterjee

Di Chen

Research Areas: Artificial Intelligence

Xilun Chen

Research Focus: Natural Language Processing

Research Areas: Artificial Intelligence

Lin Cheng

Yao Cheng

A. Feder Cooper

Research Focus: Machine Learning Systems

Research Areas: Artificial Intelligence, Database Systems, Systems and Networking

Yin Cui

Research Areas: Artificial Intelligence

Philip Daian

Research Focus: Smart Contract Security

Research Areas: Security, Systems and Networking

Shachi Deshpande

Sowmya Dharanipragada

Jonathan DiLorenzo

Research Focus: Programming Languages, Data Management

Research Areas: Programming Languages, Systems and Networking

Cong Ding

Research Focus: Distributed Systems

Research Areas: Systems and Networking

Ryan Doenges

Research Focus: Distributed Systems and Programming Languages

Research Areas: Programming Languages, Systems and Networking

Kate Donahue

Research Areas: Artificial Intelligence, Theory of Computing

Xinya Du

Research Focus: Natural Language Processing

Research Areas: Artificial Intelligence

Esin Durmus

Naomi Ephraim

Research Focus: Theoretical Cryptography

Research Areas: Security, Theory of Computing

Xiong Fan

Molly Feldman

Research Focus: Educational Technology, Automated Feedback Systems, Knowledge Representations, Crowdsourcing, Crowd-Writing Systems, and Human Computation

Research Areas: Human Interaction, Programming Languages

Dieqiao Feng

Dylan Foster

Cody Freitag

Research Focus: Theoretical Cryptography

Research Areas: Security, Theory of Computing

Meir Friedenberg

Research Focus: AI & Society, AI Ethics, Causal Reasoning, Cognitive Science

Research Areas: Artificial Intelligence, Theory of Computing

Liye Fu

Joshua Gancher

Research Focus: Cryptography, Security, Formal Methods

Research Areas: Programming Languages, Security, Theory of Computing

Dietrich Geisler

Research Areas: Programming Languages

Michael George

Theodoros Gkountouvas

Jesse Goodman

Research Focus: Complexity Theory

Research Areas: Theory of Computing

Paul Grubbs

Niko Grupen

Research Areas: Artificial Intelligence, Robotics

Max Grusky

Research Focus: Natural Language Processing, Computational Social Science

Research Areas: Artificial Intelligence, Human Interaction

Chuan Guo

Yue Guo

Zekun Hao

Sam Havron

Research Areas: Human Interaction, Security

Charles Herrmann

Jack Hessel

Research Focus: Natural Language Processing

Research Areas: Artificial Intelligence

Andrew Hirsch

Research Focus: Foundations of Computer Security

Research Areas: Programming Languages, Security, Theory of Computing

Yiqing Hua

Xun Huang

Sagar Jha

Research Focus: Distributed Systems, RDMA Networks

Research Areas: Systems and Networking

Yan Ji

Junteng Jia

Research Focus: Dynamics on Graphs

Research Areas: Artificial Intelligence, Scientific Computing

Qin Jia

Yi Jiang

Research Areas: Computer Architecture & VLSI, Systems and Networking

Saehan Jo

Research Focus: Database Systems, Machine Learning for Systems

Research Areas: Artificial Intelligence, Database Systems

Shannon Joyner

Research Focus: Serverless, Distributed Systems; Systems

Research Areas: Systems and Networking

George Karagiannis

Research Areas: Artificial Intelligence, Database Systems

Arzoo Katiyar

Mahimna Kelkar

Research Focus: Theoretical and Applied Cryptography, Security, Privacy

Research Areas: Security, Theory of Computing

Varsha Kishore

Research Areas: Artificial Intelligence

Elisavet Kozyri

Praveen Kumar

Research Focus: Abstractions and Algorithms for Reliable Network Performance

Research Areas: Systems and Networking

Raunak Kumar

Research Focus: Machine Learning, Artificial Intelligence, Algorithm Design

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

Eric Lee

Julia Len

Research Focus: Cryptography

Research Areas: Security, Theory of Computing

Boyi Li

Research Focus: Machine Learning, Computer Vision, Multimedia Art, NLP

Research Areas: Artificial Intelligence, Robotics

Lucy Li

Research Focus: Applied Cryptography

Research Areas: Security

Zhengqi Li

Research Focus: 3D Computer Vision

Research Areas: Artificial Intelligence, Graphics

Claire Liang

Research Focus: Robotics, Motion Planning, Planning with Minimal Sensing, Topological Path Planning, Human-Robot Teaming

Research Areas: Artificial Intelligence, Robotics

Jyun-Jie Liao

Research Focus: Pseudorandomness, Complexity Theory, Cryptography

Research Areas: Theory of Computing

Kwanghyun Lim

Research Focus: Machine Learning for Database Systems and Database Systems for Machine Learning

Research Areas: Artificial Intelligence, Database Systems

Hubert Lin

Wei-Kai Lin

Mason Liu

Research Areas: Artificial Intelligence

Yunhe Liu

Research Focus: Dependable, Scalable Replication Protocols and Distributed Storage

Research Areas: Systems and Networking

Xiang Long

Research Focus: Networking Programming Languages

Research Areas: Programming Languages, Systems and Networking, Theory of Computing

Yucheng Lu

Fujun Luan

Theodoros Lykouris

Tom Magrino

Research Focus: Distributed Transactions

Research Areas: Programming Languages, Security, Systems and Networking

Shir Maimon

Utkarsh Mall

Research Focus: Computer Vision

Research Areas: Artificial Intelligence, Graphics, Scientific Computing

Harjasleen Malvai

Sai Krishna Deepak Maram

Research Focus: Systems Security, Blockchains

Research Areas: Security

Antonio Marcedone

Kai Mast

Research Focus: Scaling Decentralized Applications

Research Areas: Database Systems, Systems and Networking

Matthew Milano

Research Focus: Programming Languages for Distributed Systems, Asynchronous Distributed Systems, Distributed Consistency

Research Areas: Database Systems, Programming Languages, Systems and Networking

Justin Miron

Dipendra Misra

Research Focus: Natural Language Understanding; Reinforcement Learning

Research Areas: Artificial Intelligence

Andrew Morgan

Fabian Muehlboeck

Research Focus: Programming Language Design, Gradual Typing

Research Areas: Programming Languages

Kevin Musgrave

Research Focus: Machine Learning, Computer Vision

Research Areas: Artificial Intelligence

Kevin Negy

Research Areas: Systems and Networking

Haobin Ni

Research Focus: Formal Verification of Fault-Tolerant Distributed Systems

Research Areas: Programming Languages, Systems and Networking

Rachit Nigam

Research Focus: Programming Languages and Hardware Design

Research Areas: Programming Languages

Brittany Nkounkou

Darian Nwankwo

Research Areas: Artificial Intelligence, Computational Biology

Chinasa Okolo

Research Focus: Biomedical Data Analysis, Computer Vision, Healthcare Informatics, Image Processing, Neuroscience, African Development

Research Areas: Artificial Intelligence

Bijeeta Pal

Research Areas: Security

Edwin Peguero

Jialing Pei

Cheng Perng Phoo

Geoff Pleiss

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Julia Proft

Youer Pu

Manish Raghavan

Research Focus: Ethics in AI

Research Areas: Artificial Intelligence, Theory of Computing

Maithreyi Raghu

Shijin Rajakrishnan

Brendan Rappazzo

Research Areas: Artificial Intelligence

Rolph Recto

Elizabeth Ricci

Research Areas: Robotics

Oliver Richardson

Research Focus: Models of Preference Change, HoTT, Category Theory for ML

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

Michael Roberts

Research Focus: Probabilistic Programming Languages

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

Gloire Rubambiza

Research Focus: Cloud Computing, Information and Communication Technologies for Development, Digital Agriculture

Research Areas: Human Interaction, Systems and Networking

John Ryan

Research Focus: Numerical Analysis, Computational Physics, Fluid Flow, Fracture Propagation, Numerical Solutions to PDEs

Research Areas: Scientific Computing

Jayson Salkey

Research Focus: Machine Learning, Information Theory

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

Soham Sankaran

Research Focus: Work at the intersection of Distributed Systems and Robotics

Research Areas: Human Interaction, Robotics, Systems and Networking

Alexandra Schofield

Eston Schweickart

Research Focus: Physically Based Animation, Sound Synthesis

Research Areas: Graphics

Ayush Sekhari

Research Focus: Machine Learning - Theory and Algorithms

Research Areas: Artificial Intelligence, Theory of Computing

Kevin Sekniqi

Isaac Sheff

Research Focus: Distributed Systems, Programming Languages, Consensus, Heterogeneous Trust

Research Areas: Programming Languages, Security, Systems and Networking

Jonathan Shi

Tianze Shi

Research Focus: Computational Linguistics, Natural Language Processing

Research Areas: Artificial Intelligence

Vishal Shrivastav

Research Focus: Datacenter Networking

Research Areas: Systems and Networking

Ashudeep Singh

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Ana Smith

Steffen Smolka

Matvey Soloviev

Congzheng Song

Research Focus: Privacy in Machine Learning

Research Areas: Artificial Intelligence, Security

Alane Suhr

Research Focus: Natural Language Processing, Computer Vision, Machine Learning

Research Areas: Artificial Intelligence

Kai Sun

Research Focus: Natural Language Processing

Research Areas: Artificial Intelligence

Zhen Sun

Florian Suri-Payer

Research Focus: Distributed Systems

Research Areas: Artificial Intelligence, Systems and Networking

Luming Tang

Wil Thomason

Research Focus: Integrated Task and Motion Planning, Robot Planning, Learning to Plan, Synergies between PL and Robotics

Research Areas: Artificial Intelligence, Robotics

Laure Thompson

Research Focus: Natural Language Processing, Machine Learning, Digital Humanities

Research Areas: Artificial Intelligence

Edward Tremel

Research Focus: Distributed Systems; RDMA-Networked Datacenters; Security and Reliability of Internet of Things Devices

Research Areas: Systems and Networking

Nirvan Tyagi

Research Focus: Applied Cryptography, Anonymous Communication

Research Areas: Security, Systems and Networking

Katherine Van Koevering

Research Focus: Networks, Ethics, Machine Learning, and Human Interaction

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

Julien Vanegue

Alexa VanHattum

Research Focus: Programming Languages, Formal Methods, Compilers, Distributed Systems

Research Areas: Programming Languages

Andreas Veit

Drishti Wali

Research Areas: Theory of Computing

Cheng Wang

Lequn Wang

Research Focus: Machine Learning and Learning Theory, with a focus on Interactive Learning Problems

Research Areas: Artificial Intelligence

Qianqian Wang

Shuhan Wang

Xinwen Wang

Research Focus: Distributed Systems

Research Areas: Systems and Networking

Yan Wang

Research Focus: Computer Vision, Machine Learning

Research Areas: Artificial Intelligence, Robotics

Ziyun Wei

Zikai Alex Wen

Research Focus: Educational Technology

Research Areas: Human Interaction, Security

Davis Wertheimer

Research Focus: Computer Vision, Machine Learning, Few-Shot Learning

Research Areas: Artificial Intelligence

Andrew Wiens

Kimberly Wilber

Tegan Wilson

Research Focus: Theory, Algorithms, Combinatorics

Research Areas: Theory of Computing

Felix Wu

Ruihan Wu

Rundong Wu

Research Areas: Graphics

Mengqi Xia

Wenqi Xian

Research Focus: Computer Vision

Research Areas: Artificial Intelligence

Himank Yadav

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Guandao Yang

Longqi Yang

Research Focus: Personalization, Recommendation Systems

Research Areas: Artificial Intelligence, Human Interaction

Siqiu Yao

Research Focus: Security, Systems, Programming Language

Research Areas: Programming Languages, Security, Systems and Networking

Gregory Yauney

Ted Yin

Yurong You

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Drew Zagieboylo

Research Focus: HW/SW Co-Design for Security

Research Areas: Programming Languages, Security, Systems and Networking

Fan Zhang

Research Focus: System Security, Applied Cryptography

Research Areas: Security

Yizhou Zhang

Research Focus: Language Design, Semantics, Compilers

Research Areas: Programming Languages

Yunhao Zhang

Research Focus: Theory and Practice of Distributed Systems

Research Areas: Systems and Networking

Wenting Zhao

Research Focus: Computational Sustainability, Reasoning, Machine Learning

Research Areas: Artificial Intelligence