People

Rajeev Alur
Susan Davidson
Joe Devietti
André DeHon
Gushu Li
Jing (Jane) Li
Insup Lee

Mayur Naik
Saswati Sarkar
Oleg Sokolsky
Benjamin C. Pierce
Steve Zdancewic
David Farber (emeritus, DSL founder)

Anubhav Baweja (Pratyush and Sampath)
Paul Biberstein (Joe and Mayur)
Yifan Cai (Linh)
Xinyi Chen (Vincent)
Abby Eisenklam (Linh)
Akis Giankoullis (Sebastian)
Robert Gifford (Andreas and Linh)
Soonbo Han (Zack)
Phillip Hilliard (Rajeev and Zack)
Eleftherios Ioannidis (Sebastian)
Jiaming Liang (Zack)
Xuting Liu (Vincent)
Lan Lu (Boon)
Qingjie (Andy) Lu (Andreas)
Tao Luo (Boon and Vincent)
Yiping Ma (Sebastian)
Elizabeth Margolin (Sebastian)
Bhavana Mehta (Boon and Mohammad)
William Meng (Ben)

Ziqi Meng (Ben)
Tushar Mopuri (Pratyush)
Heena Nagda (Boon and Mohammad)
Bharath Namboothiry (Pratyush)
Karan Newatia (Andreas and Linh)
Kelvin K.W. Ng (Vincent)
Spyros Pavlatos (Vincent)
Alireza Shirzad (Pratyush)
Jeff Tao (Ryan and Andrew)
Gerald Whitters (Boon)
Jess Woods (Sebastian)
Chenyuan Wu (Boon)
Peizhi Wu (Ryan and Zack)
Jiali Xing (Ben)
Zixuan Yi (Ryan and Zack)
Yinda Zhang (Vincent)
Yuxuan Zhang (Sebastian)
Zijie Zhao (Ryan)

Konstantinos Kallas (PhD ’24 -> Asst. Prof. at UCLA)
Neeraj Gandhi (PhD ’24 -> Oracle)
Ke Zhong (PhD ’24 -> Snap)
Pengyuan (Eric) Lu (PhD ’24 -> ByteDance)
Liangcheng Yu (PhD ’24 -> MSR)
Haoran Zhang (PhD ’24 -> Meta)
Haoxian Chen (PhD ’23 -> Asst. Prof. at ShanghaiTech University)
Ramneet Kaur (PhD ’23 -> SRI)
Mohammad Javad Amiri (Postdoc ’23 -> Asst. Prof. at Stony Brook University)
Kelly Shiptoski (PhD ’23 -> Bolt Labs)
Qizhen Zhang (PhD ’22 -> Asst. Prof. at University of Toronto)
Omar Navarro Leija (PhD ’22 -> Bolt Labs)
Joel Hypolite (PhD ’22 -> Charles River Analytics)
Yi Zhang (PhD ’22 -> AWS)
Edo Roth (PhD ’22 -> Google)
Lei Shi (PhD ’22 -> Huawei)
Nofel Yaseen (PhD ’22 -> Meta)
Nik Sultana (Postdoc ’21 -> Asst. Prof. at Illinois Institute of Technology)
Marcella Hastings (PhD ’21 -> Galois)
Max Demoulin (PhD ’21 -> DBOS)
Kyle Super (PhD ’20 -> Peraton Labs)
Shaanan Cohney (PhD ’19 -> Assoc. Prof. at University of Melbourne)
Yuanfeng Peng (PhD ’19 -> Google)
Nikos Vasilakis (PhD ’19 -> Asst. Prof. at Brown University)
Luke Valenta (PhD ’19 -> Cloudflare)
Alex Marder (PhD ’19 -> Asst. Prof. at Johns Hopkins University)
John Sonchack (PhD ’19 -> Senior Researcher at Princeton University)
Ben Karel (PhD ’19 -> Aarno Labs)
Nathan Dautenhahn (Postdoc ’18 -> Asst. Prof. at Rice University)
Meng Xu (PhD ’18 -> Apple)
Christian DeLozier (PhD ’18 -> Assoc. Prof. at US Naval Academy)
Nimit Singhania (PhD ’18 -> Google)
Ang Chen (PhD ’17 -> Asst. Prof. at Rice -> Assoc. Prof. at University of Michigan)
Chen Chen (PhD ’17 -> Megagon Labs)
Jaewoo Lee (PhD ’17 -> Assoc. Prof. at Chung-Ang University)
Behnaz Arzani (PhD ’17 -> MSR)
Yang Wu (PhD ’17 -> Facebook)
Antonis Papadimitriou (PhD ’17 -> Intel Labs)

Yang Li (PhD ’17 -> Facebook)
Saender Clark (PhD ’17 -> Apple)
Nan Zheng (PhD ’16 -> Lecturer at Penn)
Yifei Yuan (PhD ’16 -> Alibaba)
Mingchen Zhao (PhD ’16 -> Facebook)
Mengmeng Liu (PhD ’16 -> WalmartLabs)
Katherine Gibson (PhD ’15 -> Lecturer at University of Maryland)
Dong Lin (PhD ’15 -> Alibaba)
Richard Benjamin Voigt (PhD ’15 -> Sparx Engineering)
Arjun Narayan (PhD ’15 -> Cockroach Labs)
Ari Feldman (Postdoc ’14 -> Asst. Prof. at University of Chicago -> Google)
Zhuoyao Zhang (PhD ’14 -> Google)
Alex Gurney (Postdoc ’14 -> Webflow)
Anduo Wang (PhD ’13 -> Assoc. Prof. at Temple University)
Benoit Valiron (Postdoc ’13 -> Asst. Prof. at Centrale Supélec)
Adam Aviv (PhD ’12 -> Assoc. Prof. at George Washington University)
Eric Keller (Postdoc ’12 -> Assoc. Prof. at University of Colorado, Boulder)
Changbin Liu (PhD ’12 -> Termaxia -> Frontiir)
Wenchao Zhou (PhD ’12 -> Assoc. Prof. at Georgetown University -> Alibaba)
Micah Sherr (PhD ’10 -> Callahan Family Prof. at Georgetown University)
Jim Alexander (PhD ’09 -> Cisco)
Yun Mao (PhD ’08 -> Meta)
Sotiris Ioannidis (PhD ’05 -> Prof. at Technical University of Crete)
Björn Knutsson (Postdoc ’03 -> Assoc. Prof. at KTH)
Jonathan Moore (Postdoc ’03 -> Comcast)
Angelos Keromytis (PhD ’01 -> Assoc. Prof. at Columbia University -> John H. Weitnauer, Jr. Prof. at Georgia Tech)
Steve Muir (PhD ’01 -> Google)
Vassilis Prevelakis (Postdoc ’01 -> Asst. Prof. at Drexel University -> Prof. at Technische Universitat Braunschweig)
Ilija Hadzic (PhD ’99 -> Bell Labs)
Faik Goktas (PhD ’99 -> Susquehanna Partners)
Sanjay Udani (PhD ’99 -> Verizon Research)
Bill Arbaugh (PhD ’99 -> Assoc. Prof. at University of Maryland)
Jonathan Shapiro (PhD ’99 -> Buttonsmith)
Scott Alexander (PhD ’98 -> Peraton Labs)
John Shaffer (PhD ’96-> Silverback Networks)
Klara Nahrstedt (PhD ’95 -> Swanlund Endowed Chair and Grainger Distinguished Chair)
Brendan Traw (PhD ’95-> Intel)