Director

Boon Thau Loo

Faculty

Sebastian Angel
Andreas Haeberlen
Zack Ives
Insup Lee
Vincent Liu
Linh Thi Xuan Phan
Benjamin C. Lee
Jonathan M. Smith

Affiliated Faculty

Rajeev Alur
Susan Davidson
Joe Devietti
André DeHon
Mayur Naik
Oleg Sokolsky
Benjamin C. Pierce
Steve Zdancewic
Saswati Sarkar
David Farber (emeritus, DSL founder)

PostDocs

Bill La Cava
Hyon Young Choi
Deepak Gangadharan
Radoslav Ivanov
Yiannis Kantaros
Ivan Ruchkin
Nik Sultana
Xian (Shawn) Li
Mohammad Javad Amiri

Programmers

Isaac Pedisich

PhD Students

Andrew Beams
Taylor Carpenter
Haoxian Chen
Matthew Cleaveland
Max Demoulin
Neeraj Gandhi
Robert Gifford
Soonbo Han
Marcella Hastings
Joel Hypolite
Sooyong Jang
Ramneet Kaur
Kelvin K.W. Ng
Liangcheng Yu
Xinyi Chen
Jess Woods
Karan Newatia
Yiping Ma

Alumni

Jim Alexander
Scott Alexander
Kostas G. Anagnostakis
Madhukar Anand
Bill Arbaugh
Behnaz Arzani
Adam Aviv
Matt Blaze
Ang Chen
Chen Chen
Eric Cronin
Nathan Dautenhahn
James R. Davin
Toru Egashira
Ari Feldman
Alex Garthwaite
Katherine Gibson
Faik Goktas
Michael Greenwald
Roch Guerin
Alex Gurney
Ilija Hadzic
Nadia Heninger
Mike Hicks
Sotiris Ioannidis
Angelos Keromytis
Björn Knutsson
Jessica Kornblum
Frey A. Kuo
E. Christopher Lewis
Yang Li
Dekai Li
Luke Valenta
John Sonchack
Saeed Abedi
Hui Lyu
Alex Marder
Shlomo Hershkop

Dong Lin
Changbin Liu
Mengmeng Liu
Honghui Lu
Yun Mao
Aaron J. Marks
Stefan Miltchev
Ron Minnich
Steve Muir
Klara Nahrstedt
Arjun Narayan
Antonis Papadimitriou
John Shaffer
Gaurav Shah
Jonathan Shapiro
Micah Sherr
Kyle Super
Ivan Tam
Joe Touch
Brendan Traw
Sanjay Udani
Benoit Valiron
Anduo Wang
Baohua Wu
Yang Wu
Meng Xu
Yifei Yuan
Zhuoyao Zhang
Mingchen Zhao
Peifang Zheng
Wenchao Zhou
Shaanan Cohney
Vineetha Paruchuri
Nikos Vasilakis
Charles Kazer
Eileen Choe
Ben Karel
Nan Zheng