Welkom
Welkom op mijn homepage. Ik ben H. J. Sander Bruggink (de "H. J." staat voor "Harrie Jan"), promovendus bij de faculteit Wijsbegeerte van de Universiteit Utrecht. Ik doe onderzoek naar hogere-orde herschrijven in het algemeen, en optimaliteit in hogere-orde herschrijven in het bijzonder, een onderzoeksgebied dat sterk verwant is met de lambda-calculus (en in het bijzonder optimale reductie daarvan), graafherschrijven en termherschrijven.
Mijn homepage is verdeeld in de volgende pagina's:
- Home - Hier ben je nu.
- Contact - Mijn werkadres, telefoonnummer, e-mail, etc.
- Publicaties - Een lijst(je) van mijn (wetenschappelijke) publicaties.
- Onderwijs - Informatie over cursussen waar ik bij betrokken ben.
- Werk - Informatie over mijn niet-wetenschappelijke bezigheden.
- Software - Een selectie van de software die ik heb geschreven.
English version
There is also an English version of this site (which contains slightly less information).