Stavros Tripakis

Professor

Research units & titles

Artistic and research interests

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.

Education/Academic qualification

  • Doctor of Philosophy in Natural Sciences, L'Universite Grenoble

Keywords

  • Formal Methods, Cyber-Physical Systems, System Design Automation, Computer-aided verification and synthesis

ID: 103746