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
Mania Abdi
Advisor(s): Desnoyers
Paul Grosu
Advisor(s): Cooperman
Peng Gu
Advisor(s): Desnoyers
Twinkle Jain
Advisor(s): Cooperman
Tarun Malviya
Advisor(s): Cooperman
Yiryong Wang
Advisor(s): Desnoyers
Yao Xu
Advisor(s): Cooperman
Ryan (Cheng Hao) Yang
Advisor(s): Nita-Rotaru / Shin