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
Research Staff
Marten Lohstroh
Assistant Researcher
Matt Podolsky
Staff Researcher
Industrial Fellows
Ravi Akella
Denso
Postdoctoral Researchers
Baihong Jin
Advisor: Prof. Sangiovanni-Vincentelli
Sebastian Junges
Advisor: Prof. Seshia
Piergiuseppe Mallozzi
Advisor: Prof. Sangiovanni-Vincentelli
Yash Pant
Advisor: Prof. Seshia
Hazem Torfah
Advisor: Prof. Seshia
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