Martin E. Bidlingmaier

I'm a software engineer, currently on sabbatical. Before that I was at Google, and before that I completed a PhD under the supervision of Bas Spitters in the Logic and Semantics Group at Aarhus University.

I'm still doing research on dependent type theory, categorical semantics, Datalog and other sophistry. You can find a list of publications below or read some of the posts I wrote.

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

Research