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
Ravi Akella
Denso
Postdoctoral Researchers
Baihong Jin
Advisor: Prof. Sangiovanni-Vincentelli
Sebastian Junges
Advisor: Prof. Seshia
Marten Lohstroh
Advisor: Prof. Lee
Piergiuseppe Mallozzi
Advisor: Prof. Sangiovanni-Vincentelli
Graduate Students
Josh Adkins
Advisor: Prof. Dutta
Kevin Cheang
Advisor: Prof. Seshia
Inigo Incer
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