20092021

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

Keywords

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

Fingerprint

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

Network

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