Homepage of Hans de Nivelle





address and email . Homepage of the institute .

Teaching

Current

Past Lectures

Past lectures .

Papers, Talks, Software

My research interests are automated theorem proving, verification, proof theory, and implementation.

Events

Things that have Nothing to do with Science