Write a Blog >>
Barbara Jobstmann

Registered user since Wed 17 Jun 2015

Name: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. I am currently on leave from my CNRS position to work work Jasper Design Automation. 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.

Affiliation:EPFL, Switzerland


Show activities from other conferences

POPL 2016-profile
View general profile