Homepage of Hans de Nivelle
address and email .
Homepage of the
will be in Wroclaw from 21-24 September 2015.
I have lots of interesting topics for master or bachelor thesis
in the areas of theorem proving and verification, and application of
those to airplane theory. Projects can be theoretical, or more
My research interests are
automated theorem proving,
Holder of NCN (Narodowe Centrum Nauki)
grant 'Decision Procedures for Verification'
with Witold Charatonik.