Swen Jacobs

Swen Jacobs

Contact

Swen Jacobs
CISPA — Helmholtz Zentrum i.G.
Saarland Informatics Campus
Phone: +49 681 302 5666
eMail: jacobs@react.uni-saarland.de
Office: Building E 1.1, room 1.13
Office hour: Whenever the door is open

photo

I have recently joined CISPA — Helmholtz Zentrum i.G. as a faculty member.

I have open PhD positions. If you are interested, please contact me (either informally or with a full application).

  • Verification and Synthesis of Distributed and Parameterized Systems
  • Formal Guarantees of Safety, Security and Fault Tolerance
  • Decision Procedures: Development, Applications




Co-organizer:

  • FRIDA 2018 (5th Workshop on Formal Reasoning in Distributed Algorithms)
  • SYNT 2017 (6th Workshop on Synthesis)
  • SYNTCOMP (Reactive Synthesis Competition), annually since 2014

PC member:

  • 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)
  • SYNT 2018 (7th Workshop on Synthesis)

(Also find publication lists at Google Scholar and DBLP)

2018

  • Design Understanding: From Logic to Specification
    (with G. Fey, T. Ghasempouri, G. Martino, J. Raik and H. Riener)
    in VLSI-SoC 2018, to appear.
  • A Symbolic Algorithm for Lazy Synthesis of Eager Strategies (with M. Sakr)
    in ATVA 2018, to appear.

2017

2016

2015

2014

2013

2012

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

-2011


(pdf)