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 am currently writing my Ph.D. thesis, entitled Equivalence of Reduction in Higher-Order Rewriting. I expect to be able to finish my thesis within the next few months.
I am looking for a job! Please have a look at my resume [pdf] (also available in Dutch [pdf]).
This 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.