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.