Photo of Stavros Tripakis
20092020

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.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
Your message has successfully been sent.
Your message was not sent due to an error.
If you made any changes in Pure these will be visible here soon.