Cezary Kaliszyk

University of Innsbruck

Names

How do you usually write your name as author of a paper? Also add any other names you have authored papers under.

Cezary Kaliszyk (Preferred)

Emails

Enter email addresses associated with all of your current and historical institutional affiliations, as well as all your previous publications, and the Toronto Paper Matching System. This information is crucial for deduplicating users, and ensuring you see your reviewing assignments.

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

Education & Career History

Enter your education and career history. The institution domain is used for conflict of interest detection and institution ranking. For ongoing positions, leave the end field blank.

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

Enter all advisors, co-workers, and other people that should be included when detecting conflicts of interest.

Coauthor
Josef Urban
****@uibk.ac.at
2012Present
 

Expertise

For each line, enter comma-separated keyphrases representing an intersection of your interests. Think of each line as a query for papers in which you would have expertise and interest. For example: deep learning, RNNs, dependency parsing

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