Barbara Jobstmann

photo placeholder image

Scientist

barbara.jobstmann@epfl.ch +41 21 693 66 51

About me
I am a lecturer for the school of computer and communication sciences and I organise different outreach activities (for more details visit our IC Declic Summer School Webpage).

In addition, I work for Cadence Design Systems. 

My research focused on the development of reliable computer systems using synthesis techniques. 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. 

EPFL IC SIN-GE
INR 241 (Bâtiment INR)
Station 14
CH-1015 Lausanne

+41 21 693 66 51
Office:  INR 241
EPFL > IC > IC-SIN > SIN-GE

Web site:  Web site:  https://sin.epfl.ch/

EPFL IC SIN-GE
INN 112 (Bâtiment INN)
Station 14
CH-1015 Lausanne

+41 21 693 66 51
Office:  INN 112
EPFL > IC > IC-SIN > SIN-ENS

Web site:  Web site:  https://sin.epfl.ch

EPFL AVP-SAO GYMN
CM 2 247 (Centre Midi)
Station 10
CH-1015 Lausanne

+41 21 693 66 51
Office:  CM 2 247
EPFL > VPA > VPA-AVP-SAO > AVP-SAO > AVP-SAO-EPFL-GYMN

vCard
Administrative data

Fields of expertise

  • 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,...) 
 

Teaching & PhD

Teaching

Computer Science

Courses

Information, Computation, Communication

The objective of this course is to introduce students to algorithmic thinking, to familiarize them with the fundamentals of computer and communications sciences and to develop their first programming skills (in C ).