| Symbolic Semantics for Probabilistic Programs, 2023 |
| Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zach J. Susag, Andrzej Wąsowski |
| To appear at QEST’23, [arxiv] |
| Joint Distributions in Probabilistic Semantics, 2023 |
| Dexter Kozen, Alexandra Silva, Erik Voogd |
| To appear at MFPS’23 |
| Minimal Session Types, 2019 |
| Alen Arslanagić, Jorge A. Pérez, and Erik Voogd |
| [ECOOP’19 LIPIcs] [arxiv] [artifact] [video] |
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