About me
I am a Researcher at the Interdisciplinary Hub for Security, Privacy and Data
Governance (iHub) at Radboud University Nijmegen.
Here is a short overview of my CV
You can find my complete CV
here.
Research Interests
My main research interests are
- Category Theory
- Probability Theory
- Programming Language Semantics
These fields come together in exciting ways in
categorical probability theory and
probabilistic programming. Some of the mathematical tools I use are
Markov categories and
quasi-Borel spaces.
Other
areas I'm interested in: functional programming with effects, type theory, (Bayesian) machine learning,
quantum computation, logic, topology and algebraic geometry.
Publications
You can find my DPhil Thesis here:
Structural Foundations for Probabilistic Programming Languages
Talks
- Jul 2022, "A Hypergraph Category for Exact Gaussian Inference", Applied Category Theory 22 (slides, video), Strathclyde
- Jul 2021, Mathematical
Foundations Seminar, Bath
- Jul 2021, VeriProP 2021
- Jun 2021, LICS 2021
- Jan 2021, Oxford Quantum Group Workshop
- Jan 2021, POPL 2021
(View on
Clowdr)
- Jan 2021, LAFI. Slides
- Oct 2020, ProbProg workshop, MIT/Online
- Feb 2020, PIHOC workshop, IRIF, Paris. Slides
- Jan 2020, LAFI workshop, POPL, New Orleans. Slides
- 2019, Junior Semantics Seminar x 2, Oxford
- Jul 2018, ICALP 2018, Prague.
- 2018, Quantum Lunch, Quantum Group, Oxford
Teaching
Service
- LICS'22, Compositionality, MSCS, ProbProg'21, LAFI 23