Towards a Proof System for Probabilistic Dynamic Logic (2024), Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, and Andrzej Wasowski, in Principles of Verification: Cycling the Probabilistic Landscape.
Correct and Complete Symbolic Execution for Free (2024), Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, and Alexandra Silva, in Proceedings of ICTAC 2023.
Denotational Semantics for Symbolic Execution (2023), Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, and Einar Broch Johnsen, in Proceedings of ICTAC 2023.
Symbolic Semantics for Probabilistic Programs (2023), Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, and Andrzej Wąsowski, in Proceedings of QEST 2023.
Joint Distributions in Probabilistic Semantics (2023), Dexter Kozen, Alexandra Silva, and Erik Voogd, in Proceedings of MFPS 2023.
Minimal Session Types (2019), Alen Arslanagić, Jorge A. Pérez, and Erik Voogd, in Proceedings of ECOOP 2019.
Education
My Master’s thesis in Mathematics, supervised by Jurriaan Rot at Radboud University, taught me about coalgebra
My Bachelor’s thesis in Mathematics, supervised by Bart Besselink at the University of Groningen, taught me about automaton theory and temporal logics
My Bachelor’s thesis in Computer Science, supervised by Jorge Perez at the University of Groningen, taught me about process calculi and type theories
