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.
ATVA
International Symposium on Automated Technology for Verification and Analysis (ATVA)
IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018
VMCAI
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings
Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings