Barbara Jobstmann

I have moved to Verimag in Grenoble, France to take a position as a CNRS researcher. Please find my new homepage here.

Until October 2009, I have been postdoctoral researcher in Thomas Henzinger's group (MTC) at École Polytechnique Fédérale de Lausanne (EPFL). I received Ph.D. in Computer Science from the Institute for Softwaretechnology, TU Graz under the supervision of Roderick Bloem in 2007. My main research interests are formal verification and modelling, temporal logics, and synthesis and repair of programs with formal specifications.