Cezary Kaliszyk (Preferred)
Cezary Kaliszyk
University of Innsbruck
Names
Emails
****@gmail.com
, ****@uibk.ac.at
Personal Links
Education & Career History
Associate Professor
University of Innsbruck (uibk.ac.at)
2018 – Present
Adjunct Professor
University of Warsaw (mimuw.edu.pl)
2018 – Present
Visting Profressor
Tokyo Institute of Technology, Tokyo Institute of Technology (titech.ac.jp)
2019 – 2019
Visiting Professor
INRIA (inria.fr)
2018 – 2018
Advisors, Relations & Conflicts
Coauthor
Josef Urban
****@uibk.ac.at
2012 – Present
Expertise
automated reasoning
Present
interactive theorem proving
Present
formalization of mathematics
Present
higher-order logic
Present
intuitionistic type theory
Present