Homepage of Hans de Nivelle
address and email .
Homepage of the
institute .
TABLEAUX/FroCoS 2015
TABLEAUX
and
FroCoS
will be in Wroclaw from 2124 September 2015.
Teaching

Programowanie w C++.
(I expect that you attend lectures. If you skip lectures,
this usually means that I have to explain the same thing many times.
That is a waste of my time. Also, you must be willing to learn
Linux.)

Theorem Proving
.
Topics are: Resolution/Superposition, Modern Techniques for
Propositionial Logic, Isabelle, Geometric Logic.

Past Lectures.
Master/Bachelor Projects
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
programmingoriented.
Research
My research interests are
automated theorem proving,
verification,
proof theory,
and
implementation.
Committee Memberships
Software
Geo
woke up from its sleep!
Quaternion Finder
Build your own Quaternion Finder!
Thanks to Tomasz Wierzicki for the typesetting.
Grants

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

Starting on 01.04.2016:
Zastosowania logiki z funcjami częściowymi.
(Applications of Logic with Partial Functions).
Summary in Polish /
in English.