Bio

Goran Frehse did his undergraduate work specializing in control theory and hybrid systems at Karlsruhe University, Germany, obtaining a Diploma (M.S. equivalent) in Electrical Engineering and Information Technology in 1999. He carried out his graduate studies on the verification of embedded and hybrid systems at the Process Control Laboratory at Dortmund University, Germany, and the Institute for Computing and Information Sciences at Radboud University Nijmegen, Netherlands, from where he received a PhD in Computer Science in 2005. During two years as a PostDoc at Carnegie Mellon University in Pittsburgh and one year at Verimag in Grenoble, France, he expanded his research to verifying analog and mixed-signal circuits. Since Sept. 2006, he is an associate professor (maître de conférences) at the Univ. Grenoble Alpes, where he passed his habilitation in 2016. He is the architect and lead developer of two well-known model checking tools for hybrid and cyber-physical systems, PHAVer and SpaceEx. Since 2016, he holds a research chair (Chaire Initiative Universitaire Alpes) at the Univ. Grenoble Alpes.

At work...
Subpages (1): At work...
Comments