Stavros

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 spans areas such as formal methods, computer-aided verification and synthesis, safety-critical, embedded and cyber-physical systems, and security. Our group develops theory and builds tools for designing better (and better designing) systems.

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

I'm looking for students! Email me and apply here.


Teaching


Some papers


Students and postdocs

Current: Past:

Software

The Refinement Calculus of Reactive Systems (RCRS). The RCRS Toolset won a Distinguished Artifact Award at TACAS 2018.


Page maintained by Stavros Tripakis