I'm a software engineer, currently on sabbatical.
Before that I was at Google, and before that I completed a PhD under the supervision of Bas Spitters in the Logic and Semantics Group at Aarhus University.
I'm still doing research on dependent type theory, categorical semantics, Datalog and other sophistry.
You can find a list of publications below or read some of the posts I wrote.
An Evaluation Algorithm for Datalog with Equality. Preprint, 2023.
[Web]
[arXiv]
Algebraic Semantics of Datalog with Equality. Preprint, 2023.
[Web]
[arXiv]
Probabilistic Programming and Multiverse Models of Type Theory. PhD Thesis, Aarhus University, 2022.
[PDF]
An interpretation of dependent type theory in a model category of locally cartesian closed categories.
Published in Mathematical Structures in Computer Science, 2021.
[Web]
[arXiv]
Some related material:
Synthetic topology in Homotopy Type Theory for probabilistic programming.
With Bas Spitters and Florian Faissole.
Published in Mathematical Structures in Computer Science, 2021.
[arXiv]