Verimag Verimag CNRS
[Home] [News] [Research] [Students] [Committees] [Teaching] [Publications] [Projects]

Barbara Jobstmann

CNRS Researcher

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.

Here is


  • Join us at TACAS 2014, April 5-13, 2014 in Grenoble, France.
  • Join us at CAV 2014, July 18-22, 2014 in Vienna, Austria.
  • Join us at FMCAD 2014, October 21-24, 2014 in Lausanne, Switzerland.

Research Interests

  • Synthesis and repair of programs
  • Quantitative verification and synthesis (Tool: Quasy, PRISM-Effi)
  • Synthesis from specifications in temporal logics (Tools: Lily, Anzu)
  • Analysis and verification of hardware designs, transactional memories, and business process models
  • Synthesis techniques for embedded systems and Interface theory
  • Infinite games and Automata theory (Tool: GIST)
For more details see here.

Students co-supervised

  • Christian von Essen, Quantitative Verification and Synthesis, PhD student, VERIMAG, since 2010.
  • Rahul Varshneya, Synthesizing Efficient Controllers, internship, VERIMAG, 2011
  • Garvit Juniwal, Synthesizing Synchronizations, internship, VERIMAG, Spring 2010.
  • Rohit Singh, Quantitative Synthesis, internship, EPFL, Spring 2009.
  • Arjun Radhakrishna, GIST: A Solver for Probabilistic Games, internship, EPFL, Spring 2008.
  • Cedric Favre, Algorithmic Verification of Business Process Models, MSc student, EPFL, 2008.
  • Karin Greimel, Open Implication, MSc student, TU Graz, 2007.

Editorial Work

Program and Organizing Committees

MC Member of COST Action: Rich-Model Toolkit


Research Projects


Contact Information

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

Phone: +33 4 56 52 04 44

Office: B27 in CE 4