Faculty
2022: DFG Individual Research Grant "GSP&Co"
2015-2019: DFG Individual Research Grant "ASDPS"
Dr. Swen Jacobs ist Faculty am CISPA, wo er die Gruppe Rigorous Analysis and Design leitet. Von 2014 bis 2018 leitete er eine Forschungsgruppe innerhalb der Reactive Systems Gruppe an der Universität des Saarlandes. Zuvor war Swen als Postdoktorand an der TU Graz (mit Roderick Bloem) und an der EPFL (mit Viktor Kuncak) und war Gastprofessor an der Universität von Ljubljana. Er hat 2010 an der Universität des Saarlandes promoviert, basierend auf seiner Arbeit am Max-Planck-Institut für Informatik.
FMCAD
FMCAD 2022Formal Methods in Computer-Aided Design 2022
OOPSLA
PACMPLOOPSLA 2021
CAV
Computer Aided Verification - 33nd International Conference, CAV 202133rd International Conference on Computer-Aided Verification
CAV
Computer Aided Verification - 32nd International ConferenceComputer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
CAV
CAV 2020
VMCAI
VMCAI 2020VMCAI 2020
Acta Informatica
ATVA
ATVA 2019, International Symposium on Automated Technology for Verification and Analysis
OPODIS
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China