(aside image)

Stavros Tripakis

Professor

I am interested in the foundations of system design. My research currently focuses on formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. My work involves developing theory and building tools for designing better (and better designing) systems. Application domains include safety-critical systems, embedded systems, and cyber-physical systems.

I joined Aalto in August 2012. My h-index is 45: Google Scholar page.

Our group is working, among other things, on the Refinement Calculus of Reactive Systems (RCRS). The RCRS Toolset won a Distinguished Artifact Award at TACAS 2018.

Recent papers: