Intelligent, cyber-physical, “systems of systems” and the “Internet of Things” are changing the way entire industries operate and can radically influence how we deal with crucial societal problems. However, the complexity and heterogeneity of these systems create unprecedented design, verification, and validation challenges, which must be soon addressed to make their realization possible let alone optimal.

I am interested in methodologies and tools for the design of cyber-physical systems and embedded systems, including analog and mixed-signal integrated circuits. My research aims at combining design methodology, formal methods, and scalable verification, synthesis, and optimization-based algorithms, to build a high-assurance system engineering framework that improves design quality, cost, and productivity, while providing strong guarantees of correctness and dependability.

My areas of interest include: abstractions and layering for the design of cyber-physical systems, autonomous intelligent systems, and the Internet-of-Things; formal foundations for compositional and hierarchical design; contracts and interfaces for system design; contract-based requirement engineering.