|
|
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.
|