(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 44: 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).