Cezary Kaliszyk (Preferred)
Cezary Kaliszyk
Full Professor, University of Melbourne
Associate Professor, University of Innsbruck
- Joined November 2016
Names
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
Expertise
automated reasoning
Present
interactive theorem proving
Present
formalization of mathematics
Present
higher-order logic
Present
intuitionistic type theory
Present