• Sign in
  • Sign up
conf.researchr.org / Cezary Kaliszyk
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
Cezary Kaliszyk

Registered user since Thu 22 Sep 2016

Name: Cezary Kaliszyk

Affiliation: University of Innsbruck

Personal website: http://cl-informatik.uibk.ac.at/users/cek/

Contributions

CPP 2020 Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track
CoqPL 2018 Author of CoqHammer: Strong Automation for Program Verification within the -track
CPP 2018 Author of Formal Microeconomic Foundations and the First Welfare Theorem within the CPP 2018-track
CPP 2017 Committee Member in Program Committee within the CPP-track
CPP 2016 Author of Mizar Environment for Isabelle within the CPP-track

Share
xSun 18 Apr 18:43
using conf.researchr.org (v1.44.3)
Support page
Sign Up