Ph.D. Students

Saksham Agarwal

Research Focus: Datacenter Networking

Research Areas: Systems and Networking

Simon Alford

Research Focus: Theory induction, program synthesis, abstraction and reasoning in AI

Sebastian Ament

Daniel Amir

James Austgen

Kushal Babel

Research Areas: Security

Junwen Bai

Research Focus: Machine Learning, Sequence Learning, Speech, Scientific Discovery

Research Areas: Artificial Intelligence

Sidhika Balachandar

Research Areas: Artificial Intelligence, Machine Learning

Rohan Banerjee

Research Areas: Artificial Intelligence, Robotics

Jialu Bao

Research Focus: Verification of Probabilistic Programs

Soumya Basu

Research Focus: Robustness of Blockchains and Cryptocurrencies

Research Areas: Security, Systems and Networking

Christian Belardi

Research Areas: Machine Learning

Griffin Berlstein

Luke Bernick

Research Focus: Geo-Distributed Databases

Research Areas: Programming Languages

Noah Bertram

Valts Blukis

Research Focus: Visuomotor Robot Control with Natural Language Interfaces

Research Areas: Artificial Intelligence, Robotics

Katharine Blumer

Research Areas: Machine Learning, Theory of Computing

Fanjun Bu

Research Focus: Human-Robot interaction

Research Areas: Artificial Intelligence

Qizhe Cai

Research Focus: Systems and Networking

Research Areas: Systems and Networking

Ruojin Cai

Eric Campbell

Benjamin Carleton

Benjamin Chan

Research Focus: Cryptography and Distributed Algorithms

Research Areas: Theory of Computing

Jonathan Chang

Jonathan Chang

Research Focus: Natural Language Processing, Computational Social Science

Research Areas: Artificial Intelligence

Yen-Yu Chang

Research Areas: Graphics, Machine Learning, Vision

Shubham Chaudhary

Research Focus: Operating Systems, Distributed Systems

Jerry Chee

Di Chen

Research Focus: AI/ML/Combining Reasoning with Deep Learning

Research Areas: Artificial Intelligence

Hongzheng Chen

Research Focus: Compiler Optimizations, heterogeneous computing systems

Research Areas: Systems and Networking

Xiangyu Chen

Research Areas: Machine Learning

Lin Cheng

Aditya Chetan

Research Areas: Graphics, Vision

Justin Chiu

Hao Chung

Research Focus: Artificial Intelligence, Machine Learning

Cazamere Comrie

A. Feder Cooper

Research Focus: Machine Learning Systems

Research Areas: Artificial Intelligence, Machine Learning

Keri D'Angelo

Research Focus: Category Theory, Homotopy Type Theory

Alaa Daffalla

Philip Daian

Research Focus: Smart Contract Security

Research Areas: Security, Systems and Networking

Oliver Daids

Research Focus: Graphics, Programming Languages

Research Areas: Graphics, Programming Languages

Xi Deng

Shachi Deshpande

Research Focus: Casual Machine Learning

Research Areas: Artificial Intelligence, Machine Learning

Sowmya Dharanipragada

Research Focus: Distributed Systems and Networking

Research Areas: Systems and Networking

Kate Donahue

Research Focus: Societal impact of AI

Research Areas: Artificial Intelligence, Theory of Computing

Yuanqi Du

Research Focus: Machine Learning, Artificial Intelligence, AI for Science, Computational Sustainability

Research Areas: Artificial Intelligence, Machine Learning

Naomi Ephraim

Research Focus: Theoretical Cryptography

Research Areas: Security, Theory of Computing

Nicolas Espinosa Dice

Andres Fabrega Gerbaud

Joshua Fan

Research Focus: Artificial Intelligence, Computational Sustainability

Research Areas: Artificial Intelligence

Ali Farahbakhsh

Research Areas: Systems and Networking

John Fikioris

Research Areas: Theory of Computing

Matthew Franchi

Jonathan Gabor

Joshua Gancher

Research Focus: Cryptography, Security, Formal Methods

Research Areas: Programming Languages, Security, Theory of Computing

Ge Gao

Research Focus: Natural Language Processing, Machine Learning

Research Areas: Machine Learning, Natural Language Processing

Yixuan Gao

Dietrich Geisler

Research Areas: Programming Languages

Nora Gera

Surendra Ghentiyala

Viktor Giannakouris Salalidis

Research Focus: Database Systems

Aaron Gokaslan

Research Focus: Computer Vision / Graphics

Research Areas: Graphics

Laura Greenstreet

Research Areas: Artificial Intelligence, Machine Learning

Karuna Grewal

Research Focus: Programming Languages; Systems and Networking

Marc Grimson

Research Areas: Artificial Intelligence

Zeqi Gu

Research Focus: Artificial Intelligence, Vision, Graphics, Robotics

Yifan Guan

Mustafa Gul

Research Areas: Natural Language Processing, Vision

Yue Guo

Mohit Gurumukhani

Research Areas: Theory of Computing

Gemmechu Hassena

Research Focus: Computer Vision and Graphics

Research Areas: Artificial Intelligence, Graphics, Vision

Sam Havron

Research Focus: Security & privacy for vulnerable populations

Research Areas: Human Interaction, Security

Rebecca Hicke

Research Areas: Human Interaction

Yiqing Hua

Yu-Ju Huang

Research Focus: Distributed system, operating system

Rajat Kumar Jenamani

Research Areas: Artificial Intelligence, Robotics

Sagar Jha

Research Focus: Distributed Systems, RDMA Networks

Research Areas: Systems and Networking

Yan Ji

Research Areas: Security, Systems and Networking

Qin Jia

Lucy Jiang

Research Focus: Accessibility

Research Areas: Human Interaction

Saehan Jo

Research Focus: Database Systems, Machine Learning for Systems

Research Areas: Artificial Intelligence, Database Systems

Saravanan Kandasamy

Suraaj Kanniwadi Sureshkannan

Research Areas: Artificial Intelligence, Machine Learning

Kimia Kazemian

Research Focus: AI, Machine Learning, Optimization

Research Areas: Artificial Intelligence, Machine Learning

Kushal Kedia

Research Focus: Human-Robot Interaction, Planning and Learning

Mahimna Kelkar

Research Focus: Theoretical and Applied Cryptography, Security, Privacy

Research Areas: Security, Theory of Computing

Ariel Kellison

Woojeong Kim

Research Focus: Natural Language Processing, Machine Learning

Varsha Kishore

Research Areas: Machine Learning

Woojin Ko

Research Areas: Graphics, Human Interaction, Vision

Noriyuki Kojima

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

Celine Lee

Research Focus: Natural Language Processing

David Lee

Research Focus: Program Synthesis, Machine Learning

Katherine Lee

Research Focus: NLP and security

Katherine Lee

Julia Len

Research Focus: Cryptography

Research Areas: Security

Boyi Li

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

Research Areas: Artificial Intelligence, Robotics

Kangbo Li

Wen-Ding Li

Yueying Li

Research Focus: Systems and Machine Learning

Research Areas: Machine Learning, Systems and Networking

Zhengqi Li

Research Focus: 3D Computer Vision

Research Areas: Artificial Intelligence, Graphics, Vision

Jyun-Jie Liao

Research Focus: Pseudorandomness, Complexity Theory, Cryptography

Research Areas: Theory of Computing

Jun You Liu

Research Focus: cryptography, cryptosecurity, cryptoeconomics

Yanyi Liu

Research Areas: Security, Theory of Computing

Zhenzhen Liu

Research Focus: Machine Learning

Justin Lovelace

Katie Luo

Jacqueline Maasch

Research Focus: Machine Learning, Computational Biology

Rishabh Madan

Research Areas: Robotics

Shir Maimon

Edgar Marroquin

Daniel Martin

Michela Meister

Sanketh Gora Menda

Research Areas: Security

Qian Meng

Research Areas: Programming Languages

Si Yi Meng

Peter Michael

Research Areas: Graphics, Vision

Yimeng Min

Renee Mirka

Research Areas: Theory of Computing

Mark Moeller

Research Focus: Verification in Networking

Research Areas: Programming Languages

Anshuman Mohan

John Morris

Research Focus: Natural Language Processing

Rajiv Movva

Armin Namavari

Research Focus: Security and Applied Cryptography

Research Areas: Security

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

Research Areas: Machine Learning, Theory of Computing

Rachit Nigam

Research Focus: Programming Languages and Hardware Design

Research Areas: Programming Languages

Darian Nwankwo

Research Areas: Artificial Intelligence, Scientific Computing

Princewill Okoroafor

Research Focus: Theory, Algorithms, Machine Learning

Research Areas: Theory of Computing

Janko Ondras

Research Areas: Artificial Intelligence, Robotics

Miruna Oprescu

Research Focus: Robust Decision Making, Causal Inference

Research Areas: Artificial Intelligence

Carolina Ortega Perez

Marios Papachristou

Research Focus: Data Science, Network Science, Algorithms, Statistics

Research Areas: Machine Learning, Theory of Computing

Dhrumilkumar Patel

Edwin Peguero

Jialing Pei

Kenneth Peng

Research Focus: Algorithms, machine learning, fairness

Research Areas: Machine Learning

Spencer Peters

Research Focus: Cryptography and Lattices

Richard Phillips

Mahika Phutane

Research Areas: Artificial Intelligence, Human Interaction

Wasu Piriyakulkij

Research Areas: Artificial Intelligence

Gengmo QI

Shijin Rajakrishnan

Brendan Rappazzo

Research Areas: Artificial Intelligence

Richa Rastogi

Research Focus: Artificial Intelligence, Machine learning

Silei Ren

Travers Rhodes

Research Areas: Artificial Intelligence, Machine Learning, Robotics

Andy Ricci

Research Areas: Human Interaction, Robotics

Oliver Richardson

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

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

Noam Ringach

Research Areas: Machine Learning, 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

Emily Ryu

Research Areas: Theory of Computing

Goktug Saatcioglu

Research Areas: Programming Languages, Security, Systems and Networking

Subham Sahoo

Research Areas: Artificial Intelligence

Yuta Saito

Research Focus: Machine Learning

Research Areas: Machine Learning

Soham Sankaran

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

Research Areas: Human Interaction, Robotics, Systems and Networking

Marina Sanusi

Aditya Saraf

Research Focus: Economics and Computer Science

Nitika Saran

Research Focus: Distributed Systems

Research Areas: Systems and Networking

Yair Schiff

Research Areas: Artificial Intelligence, Machine Learning

Shaden Shaar

Research Focus: Natural Language Processing

Michelle Shu

Alane Suhr

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

Research Areas: Artificial Intelligence

Jiatian Sun

Research Areas: Graphics, Scientific Computing

Yihong Sun

Research Areas: Machine Learning

Zhen Sun

Florian Suri-Payer

Research Focus: Distributed Systems

Research Areas: Artificial Intelligence, Systems and Networking

Zachary Susag

Research Focus: Programming Languages

Hao Tang

Research Focus: neuro-symbolic AI

Research Areas: Artificial Intelligence

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

Bradon Thymes

Trishita Tiwari

Research Areas: Security

Kiran Tomlinson

Research Focus: Computational Social Science

Research Areas: Artificial Intelligence, Machine Learning, Theory of Computing

Nhan Tran

Albert Tseng

Research Areas: Machine Learning

Aaron Tucker

Joshua Turcotti

Khonzodakhon Umarova

Katherine Van Koevering

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

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

Abhishek Vijaya Kumar

Research Areas: Systems and Networking

Andrew Violette

Midhul Vuppalapati

Research Areas: Systems and Networking

Andrew Wang

Research Focus: Machine Learning

Huaxiaoyue Wang

Research Areas: Robotics

Junxiong Wang

Kaiwen Wang

Research Focus: RL, causal inference, ML

Yan Wang

Research Focus: Computer Vision, Machine Learning

Research Areas: Artificial Intelligence, Robotics, Vision

Yanbang Wang

Research Focus: Network Science, Machine Learning on Graphs

Yifan Wang

Research Areas: Artificial Intelligence, Systems and Networking

Yingheng Wang

Research Areas: Machine Learning

Ziyun Wei

Research Areas: Database Systems

Andrew Wiens

Tegan Wilson

Research Focus: Theory, Algorithms, Combinatorics

Research Areas: Theory of Computing

Anne Wu

Runzhe Wu

Research Areas: Machine Learning

Mengqi Xia

Research Focus: Physically-based Rendering

Research Areas: Graphics

Youya Xia

Himank Yadav

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Yuting Yang

Research Focus: Machine Learning Systems

Research Areas: Systems and Networking

Gregory Yauney

Research Areas: Machine Learning

Ruolin Ye

Research Areas: Robotics

Seung Won Yoo

Ayaka Yorihiro

Research Areas: Software Engineering

Tao Yu

Research Focus: Privacy and Security

Research Areas: Machine Learning

Yunchen Yu

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

Jin Zhou

Research Focus: Machine Learning

Joyce Zhou

Research Focus: Artifical Intelligence, Human Interaction

Research Areas: Artificial Intelligence, Human Interaction

Noam Zilberstein

Research Focus: Programming Languages and Formal Methods