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 2022

Konferenz / Medium

FMCAD
FMCAD 2022Formal Methods in Computer-Aided Design 2022

Jahr 2021

Konferenz / Medium

CAV
Computer Aided Verification - 33nd International Conference, CAV 202133rd International Conference on Computer-Aided Verification

Jahr 2020

Konferenz / Medium

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

Jahr 2019

Konferenz / Medium

ATVA
ATVA 2019, International Symposium on Automated Technology for Verification and Analysis

Jahr 2018

Konferenz / Medium

OPODIS
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China