Barbara Jobstmann

Recently, I have moved to Verimag in Grenoble, France to take a position as a CNRS researcher. Before that I have been postdoctoral researcher in Thomas Henzinger's group (MTC) at École Polytechnique Fédérale de Lausanne (EPFL), where I am still co-teaching a course on Logic and Automata Theory. I received Ph.D. in Computer Science from the Institute for Softwaretechnology, TU Graz under the supervision of Roderick Bloem. My main research interests are formal verification and modelling, temporal logics, and synthesis and repair of programs with formal specifications.

Program Committees

• MEMOCODE 2010 (co-chair)
• MEMOCODE 2009
• SAVCBS 2009

Research Interests

• 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

• Embedded Systems course of the MOSIG, INP Grenoble
• Logic and Automata Theory, EPFL
• Model Checking, EPFL
• Foundations of Computer Science, TU-Graz
• Programming Methods, TU-Graz
• Computer Organization, TU-Graz

Contact Information

Publications

• List of Publications

Research Projects

• COMBEST
• PROSYD

Local Links

• Lausanne Tourisme
• Hiking around Lausanne/Montreux