Skip to content

Efficient Decision Procedures for Design Exploration and Reasoning About Heterogeneous Systems

System design can no longer rely on ad hoc tweaking techniques. A rigorous design discipline is crucial to boost productivity and enforce design correctness.

I am currently investigating design flows, algorithms, and tools to enable compositional and hierarchical design of large-scale cyber-physical systems.

I show that a contract-based approach can provide a formal foundation for system design methodologies encompassing both horizontal and vertical integration steps.

Research Highlights