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, Joseph Fourier University
  • MS in Computer Science, Ecole Normale Superieure
  • BS in Computer Science, University of Crete, Greece


Stavros Tripakis is an associate professor in the Khoury College of Computer Sciences at Northeastern University. Prior to joining Northeastern in 2018, he received his PhD in computer science by conducting research in the Verimag Laboratory at Joseph Fourier University located in Grenoble, France. Tripakis has held positions at; the University of California – Berkeley, the French National Research Center (CNRS), Cadence Design Systems, and Aalto University.

Tripakis is interested in the foundations of software and system design. His research focuses on formal methods, computer-aided verification and synthesis, safety-critical, embedded and cyber-physical systems, and security. He is one of the faculty advisors for the Formal Methods Group, which develops theories and builds tools for designing better systems.

Tripakis was co-chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010). He also served on the board of ACM SIGBED as secretary/treasurer from 2009-2011, and vice-chair from 2011-2013. His H-index, a metric that measures the productivity and citation impact of a scholar’s publications, is 47.