Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Security as a System Design Problem
Speaker:Stavros Tripakis
coming from:Aalto University
Speakers Bio: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).
Event Type:CISPA Distinguished Lecture Series
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Tuesday, 18 July 2017
Time:11:00
Duration:60 Minutes
Location:Saarbr├╝cken
Building:E9 1
Room:lecture hall
Abstract
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.
Contact
Name(s):Sabine Nermerich
Phone:302-71911
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created:
Sabine Nermerich/AG4/MPII/DE, 07/14/2017 07:58 AM
Last modified:
Uwe Brahm/MPII/DE, 07/18/2017 07:01 AM
  • Sabine Nermerich, 07/14/2017 08:02 AM -- Created document.