Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

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

Diplome de Docteur, specialite informatique

Award Date: 10 Mar 2000


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


Dive into the research topics where Stavros Tripakis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or