Stavros Tripakis



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

ID: 103746