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