Barbara Jobstmann

Barbara Jobstmann is a Lecturer at the School of Computer and Communication Sciences at École Polytechnique Fédérale de Lausanne (EPFL), where she is also affiliated with the SIN - Administration unit (SIN-GE). She contributes to teaching and organizes outreach initiatives such as the IC Declic Summer School. Additionally, she works for Cadence Design Systems, indicating a strong industry-academia connection in her professional profile.

Her research focuses on the development of reliable computer systems through formal methods. Key interests include the synthesis and repair of reactive programs, quantitative verification and synthesis, and the use of temporal logics for system specifications. She investigates the analysis and verification of hardware designs, transactional memories, business process models, and embedded systems. Her theoretical work extends to interface theory, infinite games, and automata theory, which underpin robust system design and verification.

While no recent publications or awards are listed in the provided text, her expertise lies at the intersection of theoretical computer science and practical system reliability. She plays an active role in education and outreach within EPFL's computer science community.

Barbara Jobstmann has no listed scientific awards or recognitions in the provided information.

She advises or has advised no students listed in the current data. There is no mention of research grants or funding sources. She is involved in organizing the IC Declic Summer School, contributing to EPFL’s educational outreach.

She is associated with the SIN (Systems, Architecture, Software) research group at EPFL’s School of Computer and Communication Sciences, where she conducts research and contributes to academic and outreach activities.