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
2012
Visiting professor at University of Ljubljana, Slovenia

Publications by Swen Jacobs

Year 2018

chapter

Automated Technology for Verification and Analysis

Conference / Medium

Verification, Model Checking and Abstract Interpretation (VMCAI)