Homepage of Hans de Nivelle





address and email . Homepage of the institute .

TABLEAUX/FroCoS 2015

TABLEAUX and FroCoS will be in Wroclaw from 13-19 September 2015.

Teaching

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.