BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium : Static Program Analysis for a Software-Driven Soci
 ety
DTSTART:20180326T101500
DTEND:20180326T113000
DTSTAMP:20260407T035523Z
UID:29fcba9efb82c82b23e4eb8d822927518deddd9d69d1385b3d857f7e
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Caterina Urban - ETH Zurich\nIC Faculty candidate\n\nAbstr
 act:\nAs we rely more and more on computer software for automating process
 es and making decisions\, the range of software that is considered critica
 l goes well beyond the avionics and nuclear power industries: nowadays so
 ftware plays an increasingly important role in convicting criminals\, trad
 ing on the financial markets\, autonomously driving cars\, and performing
  medical diagnoses\, to name a few applications. It is now paramount to en
 sure the reliability and security of such software\, and expectations abo
 ut software fairness and transparency are rapidly rising. To meet these ne
 eds\, we need new mathematical models of software behavior that capture t
 he aspects relevant for a particular dependability property\, and new algo
 rithmic approaches to effectively navigate this mathematical space and de
 cide whether the software behaves as desired. This talk gives an overview 
 of the steps I have taken towards addressing these challenges. Starting f
 rom a series of works on deciding software termination\, I show that the i
 nsights from this domain are transferable to other formal methods and pro
 perties. These results pave the way for a unified framework for deciding i
 ncreasingly advanced software dependability properties. I discuss the fir
 st results that I obtained in this more general direction\, which in parti
 cular bring new conceptual clarity to the synergies with deciding securit
 y properties of software. Finally\, I conclude with an outlook to the futu
 re and discuss the potential impact of this research on our personal\, ci
 vic\, and economic life.\n\nBio:\nCaterina Urban is a Postdoctoral Researc
 her in the Department of Computer Science of ETH Zurich. Her main research
  interest is the development of methods and tools to enhance the reliabili
 ty of computer software and to help understanding complex software system
 s that nowadays permeate our society. Caterina received her Ph.D. from the
  École Normale Supérieure in Paris where she was advised by Radhia Couso
 t and Antoine Miné. During her Ph.D.\, she spent five months as a visiti
 ng research scholar at the NASA Ames research center and Carnegie Mellon U
 niversity 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.\
 n\nMore information\n 
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR