Simon Friis Vindum
- Email: firstname.lastname@example.org
- Office: Turing 220 (5341-220), Aabogade 34, DK-8200 Aarhus N
I'm a PhD student of computer science at Aarhus University supervised by Lars Birkedal.
My interests include logic, 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.
Publications and preprints
- Mechanized Verification of a Fine-Grained Concurrent Queue from Facebook’s Folly Library by Simon Friis Vindum, Dan Frumin, and Lars Birkedal (draft version, 2020).
- Contextual Refinement of the Michael Scott Queue (Proof Pearl) by Simon Friis Vindum and Lars Birkedal (CPP 2021).