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)
Noopur Bhatt (Sebastian)
Paul Biberstein (Joe and Mayur)
Yifan Cai (Linh)
Abby Eisenklam (Linh)
Robert Gifford (Andreas and Linh)
Soonbo Han (Zack)
Phillip Hilliard (Rajeev and Zack)
Jiaming Liang (Zack)
Xuting Liu (Vincent)
Jiaheng Lu (Vincent)
Lan Lu (Boon)
Qingjie (Andy) Lu (Andreas)
Tao Luo (Boon and Vincent)
Suwei Ma (Linh and Sebastian)
Elizabeth Margolin (Sebastian)

William Meng (Ben)
Ziqi Meng (Ben)
Tushar Mopuri (Pratyush)
Bharath Namboothiry (Pratyush)
Karan Newatia (Andreas and Linh)
Spyros Pavlatos (Vincent)
Alireza Shirzad (Pratyush)
Jeff Tao (Ryan and Andrew)
Gerald Whitters (Boon)
Jess Woods (Sebastian)
Peizhi Wu (Ryan and Zack)
Jiali Xing (Ben)
Zixuan Yi (Ryan and Zack)
Yinda Zhang (Vincent)
Zijie Zhao (Ryan)

Eleftherios Ioannidis (PhD ’25 -> MSR)
Yiping Ma (PhD ’25 -> Postdoc at UC Berkeley)
Xinyi Chen (PhD ’25 -> Meta)
Bhavana Mehta (PhD ’25 -> Zyphra AI)
Kelvin K.W. Ng (PhD ’25 -> AWS)
Chenyuan Wu (PhD ’25 -> Asst. Prof. at CUHK)
Heena Nagda (PhD ’25 -> Meta)
Yuxuan Zhang (PhD ’25 -> Google)
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)
Sangdon Park (PhD ’21 -> Asst. Prof. at POSTECH)
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)
Radoslav Ivanov (PhD ’17 -> Asst. Prof. at RPI)
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)
Gaurav Shah (PhD ’09 -> Google)
Yun Mao (PhD ’08 -> Meta)
Madhukar Anand (PhD ’08 -> Cisco)
Sotiris Ioannidis (PhD ’05 -> Prof. at Technical University of Crete)
Kostas G. Anagnostakis (PhD ’05 -> Niometrics)
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)
Mike Hicks (PhD ’01 -> Prof. at Penn)
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)
Ivan Tam (PhD ’94 -> HKBN)
Joe Touch (PhD ’92 -> Research Assoc. Prof. at USC -> The Aerospace Corporation)
Ron Minnich (PhD ’91 -> Hewlett Packard Enterprise)