Cezary Kaliszyk

University of Innsbruck

Names

Cezary Kaliszyk (Preferred)

Emails

****@gmail.com
,
****@uibk.ac.at

Education & Career History

Associate Professor
University of Innsbruck (uibk.ac.at)
2018Present
 
Adjunct Professor
University of Warsaw (mimuw.edu.pl)
2018Present
 
Visting Profressor
Tokyo Institute of Technology, Tokyo Institute of Technology (titech.ac.jp)
20192019
 
Visiting Professor
INRIA (inria.fr)
20182018
 

Advisors, Relations & Conflicts

Coauthor
Josef Urban
2012Present
 

Expertise

automated reasoning
Present
 
interactive theorem proving
Present
 
formalization of mathematics
Present
 
higher-order logic
Present
 
intuitionistic type theory
Present