Campus Event Calendar

Event Entry

What and Who

Security as a System Design Problem

Stavros Tripakis
Aalto University
CISPA Distinguished Lecture Series

Stavros Tripakis is an Associate 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 40 (Google Scholar).
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI  
AG Audience

Date, Time and Location

Tuesday, 18 July 2017
60 Minutes
E9 1
lecture hall


We will present an overview of our work on model-based system design.
The technical part of the talk will focus on recent works on program synthesis
and model learning. In particular, we will discuss synthesis of distributed
protocols from scenarios and requirements, learning finite state machines,
and synthesis of property-preserving mappings for security.


Sabine Nermerich
--email hidden
passcode not visible
logged in users only

Sabine Nermerich, 07/14/2017 08:02 -- Created document.