My 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 and defense systems. Formulating the problem in mathematical terms and finding algorithms to solve it is the focus of my work. Modeling, analysis, formal verification, synthesis and especially methodology are at the center of the contributions that my group has published and of the tools that we developed. We 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 we focus on Cyber Physical Systems. In cyber-physical systems (CPS) computing, networking and control (typically regarded as the “cyber" part of the system) are tightly intertwined with mechanical, electrical, thermal, chemical or biological processes (the “physical" part). The increasing sophistication and heterogeneity of these systems requires radical changes in the way sense-and-control platforms are designed to regulate them. Examples of CPS are automotive systems, intelligent buildings, smart grids, avionics, bioengineering systems and traffic control.