Martin E. Bidlingmaier
I'm a software engineer at Google.
This page is about my former life in academia, where I completed a PhD under the supervision of Bas Spitters in the Logic and Semantics Group at Aarhus University.
My research was about dependent type theory, categorical semantics and other sophistry.
Research

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]