Title
Professor; The Edgar L. and Harold H. Buttner Chair

Department
Division of Electrical Engineering/EECS


Faculty URL
http://www-cad.eecs.berkeley.edu/~alberto/

Email
alberto@berkeley.edu

Phone
(510) 642-4882

Fax
(510) 642-5745


Search UC Berkeley Directory





Research Expertise and Interest
Cyber-Physical Systems, System design, Electronic Design Systems, embedded system design, control, integrated circuits, theory, Machine learning applications to Energy Efficient Building and Health

Research Description
Alberto Sangiovanni-Vincentelli's research has always been about understanding and improving the design of complex systems from very large scale integrated circuits, to systems on chip, to automotive systems, from energy efficient buildings to avionics, defense and healthcare systems. Formulating the problem in mathematical terms and finding algorithms to solve it is the focus of his work. Modeling, analysis, formal verification, synthesis and especially methodology are at the center of the contributions that his research group has published and of the tools that they developed. They also place attention to industry collaboration to be relevant and solve "real" problems that often are more challenging than problems ?"invented"?to demonstrate the technology developed. Presently they focus on Cyber Physical Systems, a tight coupling between physical systems such as mechanical or electrical systems and the "intelligence" provided by software running on computing devices.
??