Homepage of Hans de Nivelle
address and email .
Homepage of the
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,
woke up from its sleep!
in Wroclaw during 21-24 September 2015.
Build your own Quaternion Finder!
Thanks to Tomasz Wierzicki for the typesetting.
Holder of NCN (Narodowe Centrum Nauki)
grant 'Decision Procedures for Verification'
with Witold Charatonik.
Starting on 01.03.2016:
Zastosowania logiki z funcjami częściowymi.
(Applications of Logic with Partial Functions).
Summary in Polish /