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

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

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

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

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

Research Areas: Security, Theory of Computing

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

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

Kevin Musgrave

Research Focus: Machine Learning, Computer Vision

Research Areas: Artificial Intelligence

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

Chinasa Okolo

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

Research Areas: Artificial Intelligence, Human Interaction, Vision

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

Research Focus: Algorithms, machine learning, fairness

Research Areas: Machine Learning

Spencer Peters

Research Focus: Cryptography and Lattices

Richard Phillips

Cheng Perng Phoo

Mahika Phutane

Research Areas: Artificial Intelligence, Human Interaction

Wasu Piriyakulkij

Research Areas: Artificial Intelligence

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

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

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

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

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

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

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

Jack Wang

Research Areas: Theory of Computing

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: Machine Learning

Qianqian Wang

Research Focus: Computer Vision

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

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

Leon Witzman

Anne Wu

Ruihan Wu

Runzhe Wu

Research Areas: Machine Learning

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

Research Areas: Machine Learning

Ruolin Ye

Research Areas: Robotics

Seung Won Yoo

Ayaka Yorihiro

Research Areas: Software Engineering

Yurong You

Research Focus: Machine Learning

Research Areas: Artificial Intelligence

Tao Yu

Research Focus: Privacy and Security

Research Areas: Machine Learning

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

Research Areas: Artificial Intelligence, Human Interaction

Noam Zilberstein

Research Focus: Programming Languages and Formal Methods