Stavros Tripakis is an Associate Researcher in the Department of Electrical
Engineering and Computer Sciences at the University of California, Berkeley.
He obtained a Ph.D. degree in Computer Science at the Verimag Laboratory in Grenoble, France, in December 1998, with honors. 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 in Berkeley from 2006 to 2008. He works in the areas of embedded, cyber-physical systems, focusing on rigorous, model-based and component-based system design, verification, testing and synthesis. Dr. Tripakis was co-Chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010), Secretary/Treasurer of ACM SIGBED (2009-2011), and Vice-Chair of ACM SIGBED (2011-2013). His h-index, according to Google scholar, is 35.