E-mail senden E-Mail Adresse kopieren

Kurzbiografie

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. 

CV: Letzte Stationen

Seit 2018
Faculty am CISPA Helmholtz-Zentrum für Informationssicherheit
2014 - 2018
Forschungsgruppenleiter an der Universität des Saarlandes
2012 - 2014
Postdoctoral researcher an der TU Graz
2012
Visiting Professor an der Universität von Ljubljana, Slowenien

Veröffentlichungen von Swen Jacobs

Jahr 2025

Konferenz / Medium

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Lecture Notes in Computer Science

Jahr 2024

Konferenz / Medium

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

Artikel

International Journal on Software Tools for Technology Transfer

Artikel

International Journal on Software Tools for Technology Transfer

Konferenz / Medium

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

Konferenz / Medium

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)

Konferenz / Medium

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)

Jahr 2023

Konferenz / Medium

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