Skip to main content


Office Location

440 Huntington Avenue
340 West Village H
Boston, MA 02115

Mailing Address

Northeastern University
ATTN: Stavros Tripakis, 202 WVH
360 Huntington Avenue
Boston, MA 02115-5000

Research Interests

Foundations of Software and System Design; Computer-Aided Verification and Synthesis; Cyber-Physical Systems


  • PhD in Computer Science, Verimag Laboratory, Joseph Fourier University
  • MS in Computer Science, Ecole Normale Superieure
  • BS in Computer Science, University of Crete, Greece


Stavros Tripakis is an Associate Professor at Northeastern University. He received his PhD degree in Computer Science at the Verimag Laboratory, Joseph Fourier University, Grenoble, France, and has held positions at the University of California at Berkeley, at the French National Research Center CNRS, at Cadence Design Systems, and at Aalto University. His research interests are in the foundations of software and system design, computer-aided verification, and cyber-physical systems. Dr. Tripakis was co-Chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010), and Secretary/Treasurer (2009-2011) and Vice-Chair (2011-2013) of ACM SIGBED. His H-index is 47.