Martin Bidlingmaier

I'm PhD student under the supervision of Bas Spitters in the Logics and Semantics Group at Aarhus University. My research interests include semantics of homotopy type theory and probabilistic computation.

My MSc thesis.