Dr. Swen Jacobs is a faculty at CISPA, where he leads the Rigorous Analysis and Design group. From 2014 until 2018, he led a research group within the Reactive Systems Group at Saarland University. Before that, Swen was a postdoctoral researcher at TU Graz (with Roderick Bloem) and at EPFL (with Viktor Kuncak), and was a visiting professor at the University of Ljubljana. He obtained his doctorate from Saarland University in 2010, based on work he did at the Max Planck Institute for Informatics.
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
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