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.
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.