Stavros Tripakis

Adjunct Associate Professor


Stavros Tripakis is an Associate Professor in the Department of Computer Science, Aalto University, Finland and an Adjunct Associate Professor in the Department of Electrical Engineering and Computer Sciences, University of California, Berkeley. He received a Ph.D. degree in Computer Science in 1998 at the Verimag Laboratory, Joseph Fourier University, Grenoble, France. He was a Postdoc at UC Berkeley from 1999 to 2001, a CNRS Research Scientist at Verimag from 2001 to 2006, and a Research Scientist at Cadence Research Labs, Berkeley, from 2006 to 2008. His research interests include formal methods, computer-aided system design, 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. As of May 2016, his h-index is 42 (Google Scholar).


  • 1998, Ph.D., Computer Science, Joseph Fourier University, Grenoble, France

Selected Publications