Homepage of Hans de Nivelle

address and email . Homepage of the institute .

Teaching

Summer Semester 2013: Theorem Proving.
Summer Semester 2013: Laboratory C++.
Past Lectures.
Winter semester 2013/2014: Compiler Construction .
Summer Semester 2014. Basic course programming in C++ . Contents of lectures will more less follow this year's exercises .

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

Holder of NCN (Narodowe Centrum Nauki) grant 'Decision Procedures for Verification' (DEC-2011/03/B/ST6/00346), together with Witold Charatonik.