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.
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.
Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
CAV
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'12)
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Softwa