Martin E. Bidlingmaier

I'm a software engineer currently on a sabbatical. Previously, I worked at Google and completed a PhD with Bas Spitters at the Logic and Semantics Group at Aarhus University.

While I'm not an active academic anymore, I'm still exploring ideas in programming languages, for example dependent type theory, categorical semantics and Datalog. You can check out my blog posts and list of publications below. If you're looking for help on projects related to programming languages, please reach out.

You can reach me via email at martin.bidlingmaier@mbid.me.

Research

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:
- Slides and recording of a talk at the Masaryk University algebra seminar.
- Slides of a talk at the Aarhus University logic and semantics seminar.
- Abstract and slides of a talk at HoTT 2019.
Synthetic topology in Homotopy Type Theory for probabilistic programming. With Bas Spitters and Florian Faissole. Published in Mathematical Structures in Computer Science, 2021.
[arXiv]