Barbara Jobstmann

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.

• a short overview of my research,
• my list of publications, and
• my curriculum vitae.

News

• Submit to FMCAD 2013, the International Conference on Formal Methods in Computer-Aided Design held in Portland, OR on October 20-23, 2013.
  Abstract deadline: May 8
  Paper deadline: May 15.
• Join us at LICS 2013, the Annual ACM/IEEE Symposium on Logic in Computer Science, June 25-28, 2013 in New Orleans, USA.
• Join us at CAV 2013, the International Conference on Computer Aided Verification, July 13-19, 2013 in Saint Petersburg, Russia.

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)

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

• FMCAD 2013 (Program co-chair)
• CAV 2013
• LICS 2013
• SYNT 2013
• SIES 2012
• MEMOCODE 2012
• LPAR-18 2012
• iWIGP2012
• FMCAD 2011 (Tutorial chair)
• MEMOCODE 2011 (Program co-chair)
• ICE 2011
• LAFT 2011
• iWIGP2011
• FMCAD 2010
• HVC 2010
• MEMOCODE 2010 (Program co-chair)
• FMICS 2010
• ICE 2010
• MEMOCODE 2009
• SAVCBS 2009

Teaching

• Embedded Systems, MOSIG 2 (Option DEMIPS), University of Grenoble
  Edition 2011-2012: Course material, Official course homepage
• Summer School on Program Synthesis at Dagstuhl Schloss, Germany: Slides
• Embedded Systems course of MOSIG, University of Grenoble
• Logic and Automata Theory, SNS Bucharest and UJF Grenoble
• Logic and Automata Theory, EPFL, Switzerland
• Model Checking, EPFL, Switzerland
• Foundations of Computer Science, TU-Graz, Austria
• Programming Methods, TU-Graz, Austria
• Computer Organization, TU-Graz, Austria

Research Projects

• COMBEST
• PROSYD
• ASCENS

Contact Information