Stavros Tripakis

Professor

NEWS: I have joined Northeastern University!

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:

• 2018: Data-driven and Model-based Design.
• 2018: The Refinement Calculus of Reactive Systems Toolset (open access link).
• 2017: Automatic Synthesis of Distributed Protocols.
• 2016: Compositionality in the Science of System Design.