Faculty

Swen Jacobs

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Awards (selection)

2022: DFG Individual Research Grant "GSP&Co"

2015-2019: DFG Individual Research Grant "ASDPS"

2014: Erwin Schroedinger Fellowship

Further Information

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

Download CV

Publications by Swen Jacobs

Year 2018

2018-01-07

Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity

Conference / Medium

Verification, Model Checking and Abstract Interpretation (VMCAI)