Since October 2009, I am tenured researcher at Verimag, an academic research laboratory belonging to the CNRS (Centre National de la Recherche Scientifique) and the University of Grenoble, France. I am currently on leave from my CNRS position to work work Jasper Design Automation. Before that, I have been postdoctoral researcher in Thomas Henzinger’s group (MTC) at École Polytechnique Fédérale de Lausanne (EPFL). I received a Ph.D. in Computer Science from the Institute for Softwaretechnology, Graz University of Technology under the supervision of Roderick Bloem in 2007. My research focuses on Synthesis-Augmented System Development techniques.