Ph.D. Students

Josh Acay

Research Focus: Programming Languages for Security

Research Areas: Programming Languages, Security

Danny Adams

Saksham Agarwal

Simon Alford

Research Focus: Artificial intelligence, machine learning, reasoning

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

Rohan Banerjee

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

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

Richard Bowen

Fanjun Bu

Research Focus: Robotics

Research Areas: Artificial Intelligence

Matt Burke

Qizhe Cai

Research Focus: Systems and Networking

Research Areas: Systems and Networking

Ruojin Cai

Eric Campbell

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

Hongzheng Chen

Research Focus: Heterogeneous computing systems

Research Areas: Systems and Networking

Xiangyu Chen

Lin Cheng

Justin Chiu

Hao Chung

Research Focus: Artificial Intelligence, Machine Learning

Cazamere Comrie

A. Feder Cooper

Research Focus: Machine Learning Systems

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

Keri D'Angelo

Research Focus: Category Theory, Homotopy Type Theory

Philip Daian

Research Focus: Smart Contract Security

Research Areas: Security, Systems and Networking

Oliver Daids

Research Focus: Graphics, Programming Languages

Xi Deng

Shachi Deshpande

Sowmya Dharanipragada

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

Naomi Ephraim

Research Focus: Theoretical Cryptography

Research Areas: Security, Theory of Computing

Joshua Fan

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

Jonathan Gabor

Jason Gaitonde

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

Viktor Giannakouris Salalidis

Research Focus: Database Systems

Aaron Gokaslan

Jesse Goodman

Research Focus: Complexity Theory

Research Areas: Theory of Computing

Karuna Grewal

Research Focus: Programming Languages; Systems and Networking

Marc Grimson

Niko Grupen

Research Areas: Artificial Intelligence, Robotics

Zeqi Gu

Research Focus: Artificial Intelligence, Vision, Graphics, Robotics

Yue Guo

Mohit Gurumukhani

Research Areas: Theory of Computing

Zekun Hao

Research Areas: Graphics, Vision

Sam Havron

Research Focus: Security & privacy for vulnerable populations

Research Areas: Human Interaction, Security

Yiqing Hua

Yu-Ju Huang

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

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

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

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

Research Focus: NLP and security

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

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

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

Yimeng Min

Renee Mirka

Mark Moeller

Anshuman Mohan

John Morris

Research Focus: Natural Language Processing

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

Janko Ondras

Research Areas: Artificial Intelligence, Robotics

Miruna Oprescu

Research Focus: Robust Decision Making, Causal Inference

Research Areas: Artificial Intelligence

Bijeeta Pal

Research Areas: Security

Marios Papachristou

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

Research Areas: Machine Learning, Theory of Computing

Edwin Peguero

Jialing Pei

Spencer Peters

Richard Phillips

Cheng Perng Phoo

Mahika Phutane

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

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

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

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

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

Trishita Tiwari

Kiran Tomlinson

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

Alexa VanHattum

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

Research Areas: Programming Languages

Abhishek Vijaya Kumar

Midhul Vuppalapati

Andrew Wang

Research Focus: Machine Learning

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

Ziyun Wei

Andrew Wiens

Tegan Wilson

Research Focus: Theory, Algorithms, Combinatorics

Research Areas: Theory of Computing

Leon Witzman

Anne Wu

Ruihan 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

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