Simon Friis Vindum

• Email: vindum@cs.au.dk
• 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 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.

Publications and preprints

• Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory by Simon Friis Vindum and Lars Birkedal (draft, 2022).
• Mechanized Verification of a Fine-Grained Concurrent Queue from Facebook’s Folly Library by Simon Friis Vindum, Dan Frumin, and Lars Birkedal (CPP 2022).
• Contextual Refinement of the Michael Scott Queue (Proof Pearl) by Simon Friis Vindum and Lars Birkedal (CPP 2021).