My research focuses on the foundations of system design. I am particularly interested in formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. My work involves developing theory and building tools which can be used in application domains such as embedded and cyber-physical systems.
My h-indexis 38 according to Google Scholar.
Koulutus / tieteellinen pätevyys
Fil. toht., muu tai tuntematon luonnontieteellinen ala, L'Universite Grenoble
- Formal Methods, Cyber-Physical Systems, System Design Automation, Computer-aided verification and synthesis