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:Static Program Analysis for a Software-Driven Society
Speaker:Dr. Caterina Urban
coming from:ETH Zurich
Speakers Bio:Caterina Urban is a Postdoctoral Researcher in the Department of Computer Science of ETH Zurich. Her main research interest is the development of methods and tools to enhance the reliability of computer software and to help understanding complex software systems that nowadays permeate our society. Caterina received her Ph.D. from the École Normale Supérieure in Paris where she was advised by Radhia Cousot and Antoine Miné. During her Ph.D., she spent five months as a visiting research scholar at the NASA Ames research center and Carnegie Mellon University Silicon Valley. For her work, she received an ETH Zurich Career Seed Grant, a Gilles Kahn Thesis Award Honorable Mention, and the best paper award at the 25th International Conference on Automated Deduction.
Event Type:SWS Colloquium
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:Thursday, 15 March 2018
Time:10:30
Duration:90 Minutes
Location:Kaiserslautern
Building:G26
Room:111
Abstract
As we rely more and more on computer software for automating processes and making decisions, the range of software that is considered critical goes well beyond the avionics and nuclear power industries: nowadays software plays an increasingly important role in convicting criminals, trading on the financial markets, autonomously driving cars, and performing medical diagnoses, to name a few applications. It is now paramount to ensure the reliability and security of such software, and expectations about software fairness and transparency are rapidly rising. To meet these needs, we need new mathematical models of software behavior that capture the aspects relevant for a particular dependability property, and new algorithmic approaches to effectively navigate this mathematical space and decide whether the software behaves as desired. This talk gives an overview of the steps I have taken towards addressing these challenges. Starting from a series of works on deciding software termination, I show that the insights from this domain are transferable to other formal methods and properties. These results pave the way for a unified framework for deciding increasingly advanced software dependability properties. I discuss the first results that I obtained in this more general direction, which in particular bring new conceptual clarity to the synergies with deciding security properties of software. Finally, I conclude with an outlook to the future and discuss the potential impact of this research on our personal, civic, and economic life.
Contact
Name(s):Vera Schreiber
Video Broadcast
Video Broadcast:YesTo Location:Saarbrücken
To Building:E1 5To Room:029
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created:Vera Schreiber/MPI-SWS, 02/28/2018 09:28 AM Last modified:Uwe Brahm/MPII/DE, 03/15/2018 07:01 AM
  • Vera Schreiber, 02/28/2018 09:39 AM -- Created document.