This page intends to give at least a bit more information about me than there is on my home page.
I am studying Computer Science (specialization Formal Methods & Software Verification) at the VU University Amsterdam. I also helped other students doing the same thing as a teaching assistant for six years.
Currently, I am working on formalising infinitary rewriting in the Coq proof assistant as part of my Master's thesis.
Last.fm knows what music I listen to.
If you like reading weblogs about quilting and cooking, visit my mom's.