Martijn Vermaat

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. knows what music I listen to.

If you like reading weblogs about quilting and cooking, visit my mom's.