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 2021

Year 2020

Year 2019

chapter

Automated Technology for Verification and Analysis

Year 2018

Conference / Medium

International Conference on Principles of Distributed Systems (OPODIS)

Conference / Medium

IFIP Networking Conference (IFIP)

chapter

Automated Technology for Verification and Analysis