Abstract:

Science is knowledge that allows us to make predictions. What is the science of system design? What predictions can we make about the systems we build and deploy? Using examples from our own research, we advocate a formal approach to tackling these questions. In particular, we present some of our recent work on: (1) the Refinement Calculus of Reactive Systems, a compositional modeling and formal reasoning framework; (2) synthesis from scenarios and requirements, a powerful combination of learning from examples and synthesis from specifications; and (3) synthesis of platform mappings with applications to security. ​

​Bio:​

​Stavros Tripakis is a Full Professor at Aalto University, and an Adjunct Associate Professor at the 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 cyber-physical systems, computer-aided verification, and the foundations of software and system design. 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 45.