E-mail senden E-Mail Adresse kopieren

Kurzbiografie

I am a faculty at the CISPA Helmholtz Center for Information Security, where I lead the Rigorous Analysis and Design group. From 2014 until 2018, I led a research group within the Reactive Systems Group at Saarland University. Before that, I 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. I obtained my doctorate from Saarland University in 2010, based on work I did at the Max Planck Institute for Informatics.

CV: Letzte vier Stationen

Since 2018
Faculty at CISPA
2014-2018
Research group leader at Saarland University
2012-2014
Postdoctoral researcher at TU Graz
2012
Visiting professor at University of Ljubljana, Slovenia

Veröffentlichungen von Swen Jacobs

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

Konferenz / Medium

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

Konferenz / Medium

IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018

Lehre von Swen Jacobs

Winter 2019/20

Advanced Lecture: Reactive Synthesis

This course is aimed at students that are interested in reactive synthesis in its full breadth, ranging from its theoretical formalization as an infinite game to efficient algorithms and data structures to solve the synthesis problem, and in the implementation of state-of-the-art algorithms for practically relevant and challenging problems.

Winter 2019/20

Seminar: Formal Methods for Security

Engineering of secure systems is an arms race between attackers and system designers. In recent years, hardly a week goes by without the discovery of a new attack, and system designers scrambling to plug the holes. Formal methods are a means to break out of this arms race by ruling out entire classes of attacks once and for all.