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.