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

• 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]