Welcome
Welcome to my homepage. I am H. J. Sander Bruggink (the "H. J." stands for "Harrie Jan"), a Ph.D. student at the Department of Philosophy of Utrecht University. I do research in the field of higher-order rewriting, and especially optimal reductions thereof. This field of research is strongly related to the lambda calculus, graph rewriting and term rewriting.
This site site is divided in the following topics:
- Home - You are here now.
- Contact - Working address, telephone number, e-mail, etc.
- Publications - A (small) list of my scientific publications.
- Education - Information on the courses in which I am involved (dutch only).
- Work - Information on my non-scientific duties.
- Software - A selection of software I've written.
Nederlandse versie
Er is ook een Nederlandse versie van deze site.