Swen Jacobs

Swen Jacobs

Contact

Swen Jacobs
CISPA Helmholtz Center for Information Security
Saarland Informatics Campus
Phone: +49 681 302 5666
eMail: jacobs@cispa.saarland
Office: Building E 1.1, room 1.13

photo

I am a faculty member at the CISPA Helmholtz Center for Information Security.

I am looking for motivated and talented students, and have open PhD positions.

If you would like to work with me, email me with a statement explaining your interest in my research.

  • Advanced Lecture: Reactive Synthesis,
    Winter 2019/20 (block course), Saarland University
  • Seminar: Formal Methods for Security (Register),
    Winter 2019/20, Saarland University

My research mission is to make it easier to obtain systems with reliable correctness guarantees.

To this end, I am developing methods and tools for the rigorous analysis and design of software and hardware, based on formal verification and automatic synthesis.

Application domains include concurrent and distributed systems, security-critical software and hardware, and any kind of system that is expected to scale with the number of users or participants.

Organizer/OC member:

  • ACM CCS 2019 (26th Conference on Computer and Communications Security, Web Chair)
  • FRIDA 2019 (6th Workshop on Formal Reasoning in Distributed Algorithms, Co-organizer)
  • SYNTCOMP 2019 (Reactive Synthesis Competition, Co-organizer), annually since 2014

PC member:

  • SYNT 2019 (8th Workshop on Synthesis)
  • PPoPP 2019 (24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Extended Review Committee)
  • CAV 2018 (30th International Conference on Computer Aided Verification, Artifact Evaluation Committee)
  • VSTTE 2018 (10th Working Conference on Verified Software: Theories, Tools, and Experiments)

(Also find publication lists at Google Scholar and DBLP)

2019

  • A symbolic algorithm for lazy synthesis of eager strategies (with M. Sakr)
    in Acta Informatica, to appear.
  • Efficient Information-Flow Verification under Speculative Execution (with R. Bloem and Y. Vizel)
    in ATVA 2019, to appear.

2018

2017

2016

2015

2014

2013

2012

  • Lazy Synthesis (with B. Finkbeiner)
    in VMCAI 2012, LNCS 7148, pages 219-234.

-2011