martijn vermaat.

i am martijn. twenty-eight. master student in computer science. done! now scientific programmer at leiden university medical center. occasionally doing freelance work.

have written some code. currently trying to make infinitary rewriting work in coq.

mail goes to martijn@vermaat.name.