Homepage of Hans de Nivelle
address and email .
Homepage of the
institute .
Teaching
Papers, Talks, Software
My research interests are
automated theorem proving,
verification,
proof theory,
and
implementation.
Visit by Bjarne Stroustrup
Slides of his lectures, and explanations
of C++ 11.
Events
Things that have Nothing to do with Science