Barbara Jobstmann

Partager :

Contact

Téléphone+41 21 69 36651
WebCall
Adresse postaleEPFL IC-DO
INR 241 (Bâtiment INR)
Station 14
CH-1015 Lausanne
Suisse
LocalINR 241
Dans l'unité
EPFL IC IC-DEC IC-DO 
Décanat d'IC
IC-DO
 
Dans l'unité
EPFL E E-DAF EPFL-GYMN 
Interface Gymnases-EPFL
EPFL-GYMN
 
Dans l'unité
EPFL IC IC-SIN SIN-ENS 
SIN - Enseignement
SIN-ENS
 

About me

I am a research associate active in undergraduate teaching and outreach activities (for more details visit our IC Declic Summer School Webpage). In addition, I work for Cadence Design Systems.

In my research I focus on the development of reliable computer systems using synthesis techniques.
In particular, I am interested in
- Synthesis and repair of programs,
- Quantitative verification and synthesis,
- Synthesis from specifications in temporal logics,
- Analysis and verification of hardware designs, transactional memories, and business process models,
- Synthesis techniques for embedded systems and Interface theory, and
- Infinite games and Automata theory.

Previously, I was a CNRS research scientist at Verimag, an academic research laboratory belonging to the CNRS (Centre National de la Recherche Scientifique) and the University of Grenoble, France.

For more information visit my webpage at https://icwww.epfl.ch/~jobstman/.

Barbara Jobstmann

Scientist

https://icwww.epfl.ch/~jobstman/
Tél. privé : [+41 21 69] 36651

Compétences

  • Automatic synthesis and repair of reactive programs
  • Quantitative analysis and synthesis
  • Formal verification and modelling of systems (e.g., hardware designs, transactional memories, biological systems, business processes,...)