People

Principal Investigators

Prabal Dutta
Associate Professor
Edward A. Lee
Professor Emeritus, Professor in the Graduate School
Alberto Sangiovanni-Vincentelli
Edgar L. and Harold H. Buttner Chair Professor
Sanjit Seshia
Professor

Industrial Fellows


Postdoctoral Researchers

Baihong Jin
Advisor: Prof. Sangiovanni-Vincentelli
Sebastian Junges
Advisor: Prof. Seshia
Marten Lohstroh
Advisor: Prof. Lee
Yash Pant
Advisor: Prof. Seshia
Matt Podolsky
Staff Researcher
Hazem Torfah
Advisor: Prof. Seshia

Graduate Students

Josh Adkins
Advisor: Prof. Dutta
Kevin Cheang
Advisor: Prof. Seshia
Íñigo Incer Romeo
Advisor: Prof. Sangiovanni-Vincentelli
Neal Jackson
Advisor: Prof. Dutta
Edward Kim
Advisor: Prof. Sangiovanni-Vincentelli and Prof. Seshia
Noah Klugman
Advisor: Prof. Dutta
Gil Lederman
Advisors: Prof. Lee and Prof. Seshia
Zheng Liang
Advisor: Prof. Sangiovanni-Vincentelli
Shaokai Lin
Advisors: Prof. Lee and Prof. Seshia
Tung-Wei Lin
Advisor: Prof. Sangiovanni-Vincentelli
Federico Mora Rocha
Advisor: Prof. Seshia
Shishir Patil
Advisor: Prof. Dutta and Prof. Gonzalez
Rohit Ramesh
Advisor: Prof. Dutta
Jean-Luc Watson
Advisor: Prof. Dutta and Prof. Popa
Sheng-Jung Yu
Advisor: Prof. Sangiovanni-Vincentelli
Xiangyu Yue
Advisor: Prof. Sangiovanni-Vincentelli
Thomas Zachariah
Advisor: Prof. Dutta

Visiting Students

Soroush Bateni
Advisor: Prof. Lee
Florian Hofer
Advisor: Prof. Sangiovanni-Vincentelli
Zangwei Zheng
Advisor: Prof. Sangiovanni-Vincentelli