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 2024

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Article

International Journal on Software Tools for Technology Transfer

Article

International Journal on Software Tools for Technology Transfer

Conference / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Year 2023

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Year 2022

Article

Bulletin of the European Association for Theoretical Computer Science

Conference / Medium

Formal Methods in Computer-Aided Design (FMCAD)