Send email Copy Email Address

Short Bio

Dr. Swen Jacobs is a faculty at CISPA, where he leads the Rigorous Analysis and Design group. From 2014 until 2018, he led a research group within the Reactive Systems Group at Saarland University. Before that, Swen was a postdoctoral researcher at TU Graz (with Roderick Bloem) and at EPFL (with Viktor Kuncak), and was a visiting professor at the University of Ljubljana. He obtained his doctorate from Saarland University in 2010, based on work he did at the Max Planck Institute for Informatics.

CV: Last stations

Since 2018
Faculty at CISPA Helmholtz Center for Information Security
2014 - 2018
Research group leader at Saarland University
2012 - 2014
Postdoctoral researcher at TU Graz
Visiting professor at University of Ljubljana, Slovenia

Publications by Swen Jacobs

Year 2022

Conference / Medium

FMCAD 2022Formal Methods in Computer-Aided Design 2022

Year 2021

Conference / Medium

Computer Aided Verification - 33nd International Conference, CAV 202133rd International Conference on Computer-Aided Verification

Year 2020

Conference / Medium

Computer Aided Verification - 32nd International ConferenceComputer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Year 2019

Conference / Medium

ATVA 2019, International Symposium on Automated Technology for Verification and Analysis

Year 2018

Conference / Medium

22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China