BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium : On Synthesis of Verification Tools
DTSTART:20121011T161500
DTEND:20121011T173000
DTSTAMP:20260527T185211Z
UID:645d1d4c519fb95344730d54958786c05c900f55de0c79b20b5c3d17
CATEGORIES:Conferences - Seminars
DESCRIPTION:Andrey Rybalchenko\, TU Munich \nAbstract\nSoftware complexity
  is growing\, so is the demand for software verification. Soon\, perhaps w
 ithin a decade\, wide deployment of software verification tools will be in
 dispensable or even mandatory to ensure software reliability in a large nu
 mber of application domains\, including but not restricted to safety and s
 ecurity critical systems. To adequately respond to the demand we need to e
 liminate tedious aspects of software verifier development\, while providin
 g support for the accomplishment of creative aspects. We believe that the 
 next generation of software verifiers will be constructed from logical spe
 cifications designed by quality/verification engineers with expertise in t
 he application domain. Give a specification describing a verification meth
 od\, a corresponding software verifier will be obtained by implementing a 
 frontend that translates software source code into constraints according t
 o the specification and then coupling the frontend with a highly-tuned gen
 eral-purpose constraint solver\, thus eliminating the need for algorithmic
  implementation efforts from the ground up.\n\nBiography\nAndrey's researc
 h interests focus on automated methods and tools for formal software verif
 ication\, ranging from the design of program analysis methods to the devel
 opment of algorithms for symbolic computation and automated deduction. He 
 is a professor at Technische Universität München. In the past\, he was a
 ffiliated with Max Planck Institute for Software Systems\, EPFL\, MSR Camb
 ridge\, Max Planck Institute for Informatics\, and University of Saarland.
 \nAndrey was selected for MIT TR35 (2010)\, received an ERC Starting grant
  (2012)\, and a Microsoft Research European Fellowship (2006).
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR