Cezary Kaliszyk
About me:
Since August 2009 I am a postdoc in the
Nominal Group at the
Technical University München.
Contact:
Institut für Informatik I4
Boltzmannstraße 3
85748 Garching, Germany
Office: MI 01.11.060
Tel. +49 89 289 17300
Current research interests:
Proof assistants, verification, formal specifications, proof theory, formal logic, type theory.
My Publications
