I am a PhD candidate at Vrije Universiteit Amsterdam, part of the Lean Forward project under the supervision of Jasmin Blanchette. My research interests lie are the intersection of computing science and mathematics, in a gradient from (intuitionistic) logic, type theory, formal verification to functional programming. Previously, I completed double majors in Computing Science and Mathematics at Utrecht University for my Bachelor and Master. During my time at Utrecht, I also wrote articles for the student newspaper de Vakidioot, was chair of the programming committee WebCie and am still a member of the LGBT+ organisation TrotCie. I am active in sustainable ecology, LGBT+ rights and software freedom.
|Full Name||drs. T. (Anne) Baanen|
|Address||Nieuwe Universiteitsgebouw, room 12A-77 (east wing, 12th floor)|
Vrije Universiteit Amsterdam
1111 HV Amsterdam
|Accept-language||nl, en;q=0.9, de;q=0.8, es;q=0.5, fr;q=0.4, "toki pona";q=0.1, Python, Haskell, Befunge, C, C++, Lean, assembly;q=0.4, Lisp;q=0.2, FORTH;q=0.2, *;q=0.1|
I am an intuitionist.
In a previous version of this paper we offered an invariant for proving the correctness of this incorrect variation on the mutator. We did, however, not include the proof!
Jan L.A. van de Snepscheut, "Algorithms for on-the-fly-garbage collection' revisited, Information Processing Letters 24:4, 1987.