Most of my work deals with automated theorem proving, in particular techniques developed for and realised in the theorem prover E.

I am particularly interested in finding out more about good proof search heuristics, and I work towards the automatic acquistion of search control knowledge for deductive systems. Thus, much of my research has to do with (deductive) reasoning and with (inductive) machine learning. Another aspect of my work is the efficient implementation of reasoning mechanisms.

Publications are listed in chronological order, but the list is probably somewhat incomplete. I'm working on it.

Authored Publications

Edited Proceedings


I only make presentations availabe for major talks, and only if there is no associated paper. If you want any of my other presentations, feel free to ask (but I suggest you read the paper instead). In general, my newer slide sets are designed to complement the talk, not as stand-alone documents.

Older presentations are prepared using pdflatex and some modified style files originally borrowed from Matt Welsh, newer ones use a Frankenstein mixture of LaTeX Beamer and Apple's Keynote.