University of Innsbruck
Office 3M12, ICT building
Technikerstr. 21a/2 6020 Innsbruck Austria


GPG key

Cezary Kaliszyk

Since February 2012 I am a postdoc at the University of Innsbruck. Before I've worked at the University of Tsukuba, Technical University of Munich and at the Radboud University Nijmegen.

Main research interests:

formal methods, program verification, functional and logic programming, compilers, proof theory, information security, concurrency.

Selected publications: (see complete list)

• Cezary Kaliszyk and Henk Barendregt. Reasoning about constants in Nominal Isabelle. CPP'11. LNCS, 2011.
• Cezary Kaliszyk and Christian Urban. Quotients revisited for Isabelle/HOL. SAC'11. ACM, 2011.
• Cezary Kaliszyk and Tetsuo Ida. Proof assistant decision procedures for formalizing origami. CICM'11, LNCS, 2011.

Recommended events:

• UITP 2012
• MKM 2012
• WFLP 2012
• THedu 2012
• CADGME 2012

Back to top