Research output per year
Research output per year
Research activity per year
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.
Diplome de Docteur, specialite informatique
Award Date: 10 Mar 2000
Research output: Contribution to journal › Article › Scientific › peer-review
Research output: Contribution to journal › Article › Scientific › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Research output: Contribution to journal › Article › Scientific › peer-review
Research output: Contribution to journal › Article › Scientific › peer-review
Tripakis, Stavros (Recipient), 2018
Prize: Award or honor granted for a specific work
Tripakis, Stavros (Recipient), 2009
Prize: Award or honor granted for a specific work
Tripakis, Stavros (Recipient), 2010
Prize: Award or honor granted for a specific work
Tripakis, Stavros (Recipient), 2018
Prize: Award or honor granted for a specific work
Stavros Tripakis (Host)
Activity: Hosting a visitor types › Hosting a visitor
Stavros Tripakis (Organiser)
Activity: Participating in or organising an event types › Organization of a workshop, panel, session or tutorial
Stavros Tripakis (Member)
Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
Stavros Tripakis (Member)
Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
Stavros Tripakis (Invited speaker)
Activity: Talk or presentation types › Public or invited talk
Aki Vehtari, Jussi Rintanen & Stavros Tripakis
23/02/2019
1 item of Media coverage
Press/Media: Media appearance
08/03/2017
1 item of Media coverage
Press/Media: Media appearance