Ph.D. Students

Josh Acay

Research Focus: Programming Languages for Security

Research Areas: Programming Languages, Security

Danny Adams

Saksham Agarwal

Sebastian Ament

Daniel Amir

Makis Arsenis

Pedro Henrique Azevedo de Amorim

Research Focus: Semantics and Formal Verification

Research Areas: Programming Languages

Kushal Babel

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

Griffin Berlstein

Luke Bernick

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

Stanley Celestin

Benjamin Chan

Jonathan Chang

Research Focus: Natural Language Processing, Computational Social Science

Research Areas: Artificial Intelligence

Jonathan Chang

Shubham Chaudhary

JERRY CHEE

Di Chen

Research Areas: Artificial Intelligence

Janet Chen

Xiangyu Chen

Lin Cheng

Yao Cheng

Justin Chiu

Hao Chung

Cazamere Comrie

A. Feder Cooper

Research Focus: Machine Learning Systems

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

Philip Daian

Research Focus: Smart Contract Security

Research Areas: Security, Systems and Networking

Xi Deng

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

Joshua 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

John Fikioris

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

Ge Gao

Yixuan Gao

Dietrich Geisler

Research Areas: Programming Languages

Michael George

Viktor Giannakouris Salalidis

Theodoros Gkountouvas

Jesse Goodman

Research Focus: Complexity Theory

Research Areas: Theory of Computing

Marc Grimson

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

Yue Guo

Zekun Hao

Research Areas: Graphics, Vision

Sam Havron

Research Focus: Security & privacy for vulnerable populations

Research Areas: Human Interaction, Security

Charles Herrmann

Jack Hessel

Research Focus: Natural Language Processing

Research Areas: Artificial Intelligence

Yiqing Hua

Xun Huang

Yu-Ju 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

Saravanan Kandasamy

George Karagiannis

Research Areas: Artificial Intelligence, Database Systems

Wang Kei Wen

Mahimna Kelkar

Research Focus: Theoretical and Applied Cryptography, Security, Privacy

Research Areas: Security, Theory of Computing

Varsha Kishore

Research Areas: Artificial Intelligence

Noriyuki Kojima

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

Katherine 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

Kangbo Li

Lucy Li

Research Focus: Applied Cryptography

Research Areas: Security

Zheng Li

Zhengqi Li

Research Focus: 3D Computer Vision

Research Areas: Artificial Intelligence, Graphics, Vision

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

Research Areas: Vision

Wei-Kai Lin

Jun You Liu

Mason Liu

Research Areas: Artificial Intelligence

Yanyi Liu

Yunhe Liu

Research Focus: Dependable, Scalable Replication Protocols and Distributed Storage

Research Areas: Systems and Networking

Sishan Long

Xiang Long

Research Focus: Networking Programming Languages

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

Yucheng Lu

Fujun Luan

Research Areas: Vision

Shir Maimon

Utkarsh Mall

Research Focus: Computer Vision

Research Areas: Artificial Intelligence, Graphics, Scientific Computing, Vision

Harjasleen Malvai

Sai Krishna Deepak Maram

Research Focus: Systems Security, Blockchains

Research Areas: Security

Edgar Marroquin

Daniel Martin

Kai Mast

Research Focus: Scaling Decentralized Applications

Research Areas: Database Systems, Systems and Networking

Michela Meister

Si Yi Meng

Matthew Milano

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

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

Yimeng Min

Renee Mirka

Justin Miron

Mark Moeller

Anshuman Mohan

Andrew Morgan

Kevin Musgrave

Research Focus: Machine Learning, Computer Vision

Research Areas: Artificial Intelligence

Armin Namavari

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

Sloan Nietert

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

Princewill Okoroafor

Bijeeta Pal

Research Areas: Security

Marios Papachristou

Edwin Peguero

Jialing Pei

Spencer Peters

Richard Phillips

Cheng Perng Phoo

Mahika Phutane

Geoff Pleiss

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Julia Proft

Youer Pu

Gengmo QI

Rui Qian

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

Silei Ren

Travers Rhodes

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

Lorenzo Rosa

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

Goktug Saatcioglu

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

Marina Sanusi

Ayush Sekhari

Research Focus: Machine Learning - Theory and Algorithms

Research Areas: Artificial Intelligence, Theory of Computing

Kevin Sekniqi

Abhishek Shetty

Tianze Shi

Research Focus: Computational Linguistics, Natural Language Processing

Research Areas: Artificial Intelligence

Vishal Shrivastav

Research Focus: Datacenter Networking

Research Areas: Systems and Networking

Michelle Shu

Ashudeep Singh

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Ana Smith

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

Jiatian Sun

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

Trishita Tiwari

Kiran Tomlinson

Edward Tremel

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

Research Areas: Systems and Networking

Aaron Tucker

Nirvan Tyagi

Research Focus: Applied Cryptography, Anonymous Communication

Research Areas: Security, Systems and Networking

Masatoshi Uehara

Khonzodakhon Umarova

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

Abhishek Vijaya Kumar

Midhul Vuppalapati

Drishti Wali

Research Areas: Theory of Computing

Jack Wang

Lequn Wang

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

Research Areas: Artificial Intelligence

Qianqian 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, Vision

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, Vision

Andrew Wiens

Kimberly Wilber

Tegan Wilson

Research Focus: Theory, Algorithms, Combinatorics

Research Areas: Theory of Computing

Felix Wu

Ke Wu

Ruihan Wu

Rundong Wu

Research Areas: Graphics, Vision

Mengqi Xia

Research Areas: Vision

Youya Xia

Wenqi Xian

Research Focus: Computer Vision

Research Areas: Vision

Himank Yadav

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Guandao Yang

Research Areas: Vision

Siqiu Yao

Research Focus: Security, Systems, Programming Language

Research Areas: Programming Languages, Security, Systems and Networking

Gregory Yauney

Simiao Ye

Ted Yin

Seung Won Yoo

Ayaka Yorihiro

Yurong You

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Tao Yu

Yunchen Yu

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

Hongbo Zhang

Xiaoji Zhang

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