Faculty

Gene Cooperman

checkpoint-restart, high-performance computing, debugging, model checking
[Personal webpage] [Lab webpage]

Peter Desnoyers

cloud computing, object storage and caching, flash and SMR translation layers
[Personal webpage]

Cristina Nita-Rotaru

information security, distributed systems, computer networks
[Personal webpage] [Lab webpage]

Ji-Yong Shin

distributed systems, formal verification, serverless computing, systems for ML
[Personal webpage]

Cheng Tan

computer systems, verifiable cloud services, neural network verification
[Personal webpage]

Students

Sina Ahmadi
Advisor(s): Desnoyers
[Personal webpage]
Bryant Curto
Advisor(s): Shin
[Personal webpage]
Aayushi Gautam
Advisor(s): Cooperman
Isaac Khor
Advisor(s): Desnoyers
[Personal webpage]
Rui Li
Advisor(s): Cooperman
[Personal webpage]
Shuyi Lin
Advisor(s): Tan
Shuwen Sun
Advisor(s): Desnoyers
Effy (Yirong) Wang
Advisor(s): Desnoyers
Alan Wang
Advisor(s): Shin
Zikai Wang
Advisor(s): Tan
Yao Xu
Advisor(s): Cooperman
[Personal webpage]
Jian Zhang
Advisor(s): Tan
[Personal webpage]
Brent (Yibo) Zhao
Advisor(s): Tan

Recent Alumni

Mania Abdi
Advisor(s): Desnoyers
Rajat Pratap Singh Bisht
Advisor(s): Cooperman
Paul Grosu
Advisor(s): Cooperman
Peng Gu
Advisor(s): Tan
Twinkle Jain
Advisor(s): Cooperman
Tarun Malviya
Advisor(s): Cooperman
Ryan (Cheng Hao) Yang
Advisor(s): Shin
[Personal webpage]