CISE Seminar: January 31, 2020 – Stavros Tripakis, Northeastern University

Science is knowledge that helps us make predictions. In this talk, we give an overview of some of our recent work on this broad topic, and in particular: (1) the Refinement Calculus of Reactive Systems, a compositional modeling and formal reasoning framework for cyber-physical systems; (2) automated distributed protocol synthesis from scenarios and requirements, a combination of learning from examples and counter-example guided synthesis from formal specifications; and (3) automated synthesis of platform mappings with applications to security.

Stavros Tripakis is an Associate Professor of Computer Science at Northeastern University. He received his Ph.D. degree in Computer Science at the Verimag Laboratory, Joseph Fourier University, Grenoble, France, and has previously held positions at the University of California at Berkeley, at the French National Research Center CNRS, at Cadence Design Systems, and at Aalto University. His research interests are in the foundations of software and system design, computer-aided verification, 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 48.

Faculty Host: Wenchao Li
Student Host: Athar Roshandelpoor