(aside image)

Stavros Tripakis


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.

My h-index is 45: Google Scholar page.

I joined Aalto University in August 2012. I am also an Adjunct Associate Professor at the EECS Department of UC Berkeley.

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: