Cezary Kaliszyk

Full Professor, University of Melbourne
Joined
November 2016

Names

Cezary Kaliszyk (Preferred)

Emails

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

Personal Links

Career & Education History

Full Professor
University of Melbourne (unimelb.edu.au)
2024 – Present
Associate Professor
University of Innsbruck (uibk.ac.at)
2018 – 2024
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

Publications

Co-Authors