Verimag Verimag

Barbara Jobstmann

CNRS Researcher

Since October 2009, I am CNRS researcher at Verimag in Grenoble, France. Before, 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.

Here is my Curriculum Vitae, a summary of my research, and my List of Publications.

Contact Information

    Barbara Jobstmann
VERIMAG
Centre Equation
2, avenue de Vignate
38610 GIERES, France

Phone: +33 4 56 52 04 44
E-Mail: firstname.lastname@imag.fr
Web: http://www-verimag.imag.fr/~jobstman/

Program Committees

MC Member of COST Action: Rich-Model Toolkit

Research Interests

  • Quantitative verification and synthesis
  • Formal verification of hardware designs
  • Synthesis of temporal logic (Tools: Lily, Anzu)
  • Infinite games and Automata theory
  • Verification and repair of programs
  • Interface theory

Teaching

Publications

Research Projects

Babsi