Homepage of Hans de Nivelle





address and email . Homepage of the institute .

TABLEAUX/FroCoS 2015

TABLEAUX and FroCoS will be in Wroclaw from 21-24 September 2015.

Teaching

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 programming-oriented.

Research

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

Events

Grants

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