|
|
|
||||
|
Barbara Jobstmann
|
|||||
|
english only
|
|||||
|
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 CommitteesResearch Interests
Teaching
Contact Information
Publications
Research ProjectsLocal Links |
||||
|
|