Simon Friis Vindum

I'm a PhD student of computer science at Aarhus University supervised by Lars Birkedal.

My interests include logics, semantics, programming languages, functional programming, category theory, and proof assistants.

Everything is vague to a degree you do not realize till you have tried to make it precise.
— Bertrand Russell

Publications and preprints

This site belongs to the Department of Computer Science, Aarhus University.