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. |
Position Papers
- From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts (Proc. 2019 ACM International Symposium on Physical Design, ISPD’19)
- Let’s Get Physical: Computer Science Meets Systems (From Programs to Systems, ETAPS 2014)
- Robustness in Analog Systems: Design Techniques, Methodologies and Tools (IEEE SIES 2011)