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

News

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.

Program Committees

MC Member of COST Action: Rich-Model Toolkit

Teaching

Research Projects

Babsi

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

Office: B27 in CE 4