← back to search

Cezary Kaliszyk

University of Vienna · AT

Area of research

Artificial Intelligence · Computational Theory and Mathematics

Research interest

Research interests include Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, and Natural Language Processing Techniques.

h-index

24

citations

2,427

works

177

NIH funding

—

primary concept

—

email

✉ Find email ↗

Recent publications

A FORMAL PROOF OF THE KEPLER CONJECTURE

Forum of Mathematics Pi 2017cited by 336position: middledoi

TH1: The TPTP typed higher-order form with rank-1 polymorphism

Workshop practical aspects automated reasoning 2016cited by 18position: first

General Bindings and Alpha-Equivalence in Nominal Isabelle

Logical Methods in Computer Science 2012cited by 36position: lastdoi

Grants

No grants ingested yet.

Frequent collaborators

— · 1 papers (2017–2017)— · 1 papers (2017–2017)Florian Rabe · Friedrich-Alexander-Universität Erlangen-Nürnberg1 papers (2016–2016)— · 1 papers (2017–2017)QUANG TRUONG NGUYEN · University of Pittsburgh1 papers (2017–2017)— · 1 papers (2017–2017)— · 1 papers (2017–2017)Alexey Solovyev · A.P. Krylov All-Russian Oil and Gas Research Institute (Russia)1 papers (2017–2017)— · 1 papers (2017–2017)Thomas Hales · University of Pittsburgh1 papers (2017–2017)John Harrison · University of Connecticut1 papers (2017–2017)— · 1 papers (2017–2017)Sean McLaughlin · Seattle University1 papers (2017–2017)— · 1 papers (2012–2012)— · 1 papers (2017–2017)— · 1 papers (2017–2017)— · 1 papers (2017–2017)Steven Obua · University of Edinburgh1 papers (2017–2017)Geoff Sutcliffe · University of Miami1 papers (2016–2016)Jason Rute · Pennsylvania State University1 papers (2017–2017)