Faculty
2022: DFG Individual Research Grant "GSP&Co"
2015-2019: DFG Individual Research Grant "ASDPS"
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.
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Formal Methods (FM)
International Journal on Software Tools for Technology Transfer
National Conference of the American Association for Artificial Intelligence (AAAI)
Symposium on Principles of Programming Languages (POPL)
Symposium on Principles of Programming Languages (POPL)
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Bulletin of the European Association for Theoretical Computer Science
Formal Methods in Computer-Aided Design (FMCAD)
Proceedings of the ACM on Programming Languages