Stavros Tripakis

Associate Professor
Khoury College of Computer Sciences
Northeastern University
first name at northeastern dot edu
Office: 340 WVH (West Village H, directions)

I am interested in the foundations of software and system design. My research is in the areas of formal methods and computer-aided verification and synthesis, with applications to safety-critical, embedded and cyber-physical systems, security, and trustworthy AI. Our group develops theory and builds tools for designing better (and better designing) such systems.

I joined Northeastern in September 2018. My h-index is 56: Google Scholar page. My publications at DBLP.


Some papers

Students and postdocs

Current: Past postdocs: Graduated students:

Latest Projects


The Refinement Calculus of Reactive Systems (RCRS) --- STTT 2020 paper: The Refinement Calculus of Reactive Systems Toolset --- The RCRS Toolset won a Distinguished Artifact Award at TACAS 2018.

Page maintained by Stavros Tripakis