Bio
Goran Frehse has a Diploma in Electrical Engineering and Information Technology from Karlsruhe Institute of Technology, Germany, and a PhD in Computer Science from Radboud University Nijmegen, the Netherlands. He is the architect and lead developer of two popular model checking tools for hybrid and cyber-physical systems, PHAVer and SpaceEx. From 2006 to 2018, he was an associate professor at the University Grenoble Alpes, obtaining his habilitation in 2016. From 2016 to 2018, he held a research chair sponsored by the Initiative Universitaire Alpes. Since 2018, he is a professor at ENSTA Paris, working on safe cyber-physical systems and trustworthy artificial intelligence. Since 2021, he is the director of the computer science and systems engineering department at ENSTA.