Homepage of Hans de Nivelle
address and email .
Homepage of the
will be in Wroclaw from 21-24 September 2015.
Winter Semester 2015/2016:
(I expect that you attend the lectures. If you skip lectures,
this usually means that I have to explain the same thing many times.)
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,
Geo came back
Holder of NCN (Narodowe Centrum Nauki)
grant 'Decision Procedures for Verification'
with Witold Charatonik.