Stavros Tripakis

Stavros Tripakis is an Associate Professor at the Khoury College of Computer Sciences at Northeastern University, where he joined in 2018. He is on sabbatical during the 2024-2025 academic year.

His research focuses on the foundations of software and system design, emphasizing formal methods, computer-aided verification and synthesis, with applications to safety-critical, embedded, and cyber-physical systems, security, and trustworthy AI. He leads a group developing theory and tools for designing better systems.

Recent publications explore distributed protocol synthesis, neural network verification, and inductive invariant inference, reflecting trends in formal methods for AI and distributed systems. His work often intersects with automated reasoning, model checking, and tool development.

Scientific awards include the Distinguished Artifact Award at TACAS 2018 for the Refinement Calculus of Reactive Systems (RCRS) toolset.

He advises Derek Egolf, Daniel Melcer, and William Schultz (graduated 2025). Former postdocs include Rômulo Meira-Góes (now Penn State) and Eunsuk Kang (now CMU).

Current projects include the NSF FMitF grant (2023-2027) on safe multi-agent reinforcement learning and the NSF SaTC grant (2018-2022) on protocol design.