Keynote speakers

Thomas Kropf
President of corporate research and advance engineering at Bosch

Thomas Kropf has held various management and engineering positions within Bosch in the areas of microelectronics, driver assistance, chassis systems, and infotainment. He studied electrical engineering and holds a Ph.D. in computer science. Besides his main duty at Bosch, he is an adjunct professor for computer science at the University of Tübingen.

David Monniaux
Senior researcher at CNRS/Verimag

David Monniaux is the head of the PACSS team (Proofs and Code analysis for Safety and Security) at Verimag. He works on static analysis by abstract interpretation, algorithmics of abstract interpretation and decision procedures, as well as certified compilation. He was one of the main developers of the Astrée and Verasco static analyzers.

Comments are closed.