I recently obtained my PhD at Vrije Universiteit Amsterdam, as part of the Lean Forward project under the supervision of Jasmin Blanchette and Sander Dahmen. My research interests lie in 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 of the LGBT+ organisation TrotCie. I am active in sustainable ecology, LGBT+ rights and software freedom.
| Full Name | dr. T. (Anne) Baanen |
| Address | Nieuwe Universiteitsgebouw, room 12A-77 (east wing, 12th floor) Vrije Universiteit Amsterdam De Boelelaan 1111 1083 HV Amsterdam The Netherlands |
| anne@anne.mx | |
| Pronouns | they/them |
| Accept-language | nl, en;q=0.9, de;q=0.8, es;q=0.5, fr;q=0.4, Python, Haskell, Befunge, C, C++, assembly;q=0.6, Lisp;q=0.6, FORTH;q=0.2, *;q=0.1 |
I am an intuitionist.
on the other hand, computers *really* like types for making code work good.
Juliana, Rat Goddess of Vengeance, @juliana@solarpunk.moe 3rd March 2023.