Science is knowledge that helps us make predictions. What is the science of software? What predictions can we make about the programs we write? More generally, what predictions can we make about the systems we build? After discussing possible approaches to tackling these questions, we focus on some of our recent work on: (1) the Refinement Calculus of Reactive Systems, a compositional modeling and formal reasoning framework; (2) links between program synthesis, automata learning, and something in-between; and (3) synthesis of platform mappings with applications to security.
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 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. His h-index is 45.