Cezary Kaliszyk

Associate Professor, University of Innsbruck

  • Joined November 2016

Names

Cezary Kaliszyk (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@uibk.ac.at (Confirmed)

Personal Links

Education & Career History

Associate Professor
University of Innsbruck (uibk.ac.at)
2018 – Present
 
Adjunct Professor
University of Warsaw (mimuw.edu.pl)
2018 – 2021
 
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
2012 – Present
 

Expertise

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