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.
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.