Faculty
2022: DFG Individual Research Grant "GSP&Co"
2015-2019: DFG Individual Research Grant "ASDPS"
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.
National Conference of the American Association for Artificial Intelligence (AAAI) Learning Broadcast Protocols
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI) Parameterized Verification of Disjunctive Timed Networks.
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI) Automatic and Incremental Repair for Speculative Information Leaks.
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Bulletin of the European Association for Theoretical Computer Science Current Challenges in Reliable and Secure Clock Synchronization.
Formal Methods in Computer-Aided Design (FMCAD) Automatic Repair and Deadlock Detection for Parameterized Systems
ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)
Computer Aided Verification (CAV) Lecture Notes in Computer Science
Computer Aided Verification (CAV) Lecture Notes in Computer Science
Computer Aided Verification (CAV)