Ph.D. Students

Josh Acay

Research Focus: Programming Languages for Security

Research Areas: Programming Languages, Security

Danny Adams

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

Makis Arsenis

Research Focus: Online Algorithms, Mechanism Design

James Austgen

Pedro Henrique Azevedo de Amorim

Research Focus: Semantics and Formal Verification

Research Areas: Programming Languages

Kushal Babel

Research Areas: Security

Eugene Bagdasaryan

Research Focus: Privacy and Security, Machine Learning

Research Areas: Artificial Intelligence, Security

Junwen Bai

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

Research Areas: Artificial Intelligence

Yiwei Bai

Research Focus: Artificial Intelligence, Machine Learning

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

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

Research Focus: Geo-Distributed Databases

Research Areas: Programming Languages

Noah Bertram

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

Katharine Blumer

Research Areas: Machine Learning, Theory of Computing

Richard Bowen

Research Focus: Computer Vision

Research Areas: Artificial Intelligence

Fanjun Bu

Research Focus: Human-Robot interaction

Research Areas: Artificial Intelligence

Matt Burke

Qizhe Cai

Research Focus: Systems and Networking

Research Areas: Systems and Networking

Ruojin Cai

Eric Campbell

Benjamin Carleton

Stanley Celestin

Research Focus: Human-Robot interaction

Research Areas: Artificial Intelligence

Benjamin Chan

Research Focus: Cryptography and Distributed Algorithms

Research Areas: Theory of Computing

Jonathan Chang

Research Focus: Natural Language Processing, Computational Social Science

Research Areas: Artificial Intelligence

Jonathan Chang

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

Ryan Doenges

Research Focus: Distributed Systems and Programming Languages

Research Areas: Programming Languages, 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

Dieqiao Feng

John Fikioris

Research Areas: Theory of Computing

Matthew Franchi

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

Jonathan Gabor

Jason Gaitonde

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

Jesse Goodman

Research Focus: Complexity Theory

Research Areas: Theory of Computing

Karuna Grewal

Research Focus: Programming Languages; Systems and Networking

Marc Grimson

Research Areas: Artificial Intelligence

Niko Grupen

Research Focus: Reinforcement Learning, Multi-agent Systems

Research Areas: Artificial Intelligence, Robotics

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

Zekun Hao

Research Focus: 3D Synthesis

Research Areas: Artificial Intelligence

Gemmechu Hassena

Research Focus: Computer Vision and Graphics

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

Qin Jia

Lucy Jiang

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

Saravanan Kandasamy

Kushal Kedia

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: Artificial Intelligence

Woojin Ko

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

Katherine Lee

Katherine Lee

Research Focus: NLP and security

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

Wen-Ding 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

Jun You Liu

Research Focus: cryptography, cryptosecurity, cryptoeconomics

Yanyi Liu

Yunhe Liu

Research Focus: Dependable, Scalable Replication Protocols and Distributed Storage

Research Areas: Systems and Networking

Zhenzhen Liu

Research Focus: Machine Learning

Sishan Long

Justin Lovelace

Yucheng Lu

Katie Luo

Jacqueline Maasch

Research Focus: Machine Learning, Computational Biology

Rishabh Madan

Research Areas: Robotics

Shir Maimon

Utkarsh Mall

Research Focus: Computer Vision

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

Sai Krishna Deepak Maram

Research Focus: Systems Security, Blockchains

Research Areas: Security

Edgar Marroquin

Daniel Martin

Michela Meister

Sanketh Gora Menda

Research Areas: Security

Qian Meng

Research Areas: Programming Languages

Si Yi Meng

Peter Michael

Yimeng Min

Renee Mirka

Mark Moeller

Anshuman Mohan

John Morris

Research Focus: Natural Language Processing

Rajiv Movva

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

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

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

Bijeeta Pal

Research Areas: Security

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

Spencer Peters

Richard Phillips

Cheng Perng Phoo

Mahika Phutane

Wasu Piriyakulkij

Youer Pu

Gengmo QI

Rui Qian

Shijin Rajakrishnan

Brendan Rappazzo

Research Areas: Artificial Intelligence

Richa Rastogi

Research Focus: Artificial Intelligence, Machine learning

Rolph Recto

Silei Ren

Travers Rhodes

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

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

Emily Ryu

Research Focus: Algorithmic game theory

Research Areas: Theory of Computing

Goktug Saatcioglu

Subham Sahoo

Research Areas: Artificial Intelligence

Yuta Saito

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

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

Yair Schiff

Ayush Sekhari

Research Focus: Machine Learning - Theory and Algorithms

Research Areas: Artificial Intelligence, Theory of Computing

Shaden Shaar

Research Focus: Natural Language Processing

Michelle Shu

Ana Smith

Priya Srikumar

Research Focus: Programming Languages

Alane Suhr

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

Research Areas: Artificial Intelligence

Jiatian Sun

Yihong Sun

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: Artificial Intelligence, Machine Learning

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

Kiran Tomlinson

Nhan Tran

Albert Tseng

Aaron Tucker

Joshua Turcotti

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

Alexa VanHattum

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

Research Areas: Programming Languages

Abhishek Vijaya Kumar

Andrew Violette

Midhul Vuppalapati

Andrew Wang

Research Focus: Machine Learning

Huaxiaoyue Wang

Jack Wang

Junxiong Wang

Kaiwen Wang

Research Focus: RL, causal inference, ML

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

Yanbang Wang

Research Focus: Network Science, Machine Learning on Graphs

Yifan Wang

Yingheng Wang

Ziyun Wei

Andrew Wiens

Tegan Wilson

Research Focus: Theory, Algorithms, Combinatorics

Research Areas: Theory of Computing

Leon Witzman

Anne Wu

Ruihan Wu

Runzhe Wu

Mengqi Xia

Research Focus: Physically-based Rendering

Research Areas: Graphics

Youya Xia

Wenqi Xian

Research Focus: Computer Vision

Research Areas: Vision

Himank Yadav

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Guandao Yang

Yuting Yang

Siqiu Yao

Research Focus: Security, Systems, Programming Language

Research Areas: Programming Languages, Security, Systems and Networking

Gregory Yauney

Ruolin Ye

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

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

Noam Zilberstein

Research Focus: Programming Languages and Formal Methods