He holds a Diploma in Electrical Engineering from Karlsruhe Institute of Technology, Germany, and a PhD in Computer Science from Radboud University Nijmegen, The Netherlands. Before joining Verimag in 2005, he spent two years researching at Carnegie Mellon University. His main research interests are reachability analysis and compositionality of hybrid systems, as well as practical applications of these techniques. Goran Frehse developed PHAVer, a model checker for Linear Hybrid Automata, and is leading the development of SpaceEx, a verification platform for hybrid systems.