conf.researchr.org / Ondřej Kunčar

Not registered as user yet

Name:Ondřej Kunčar
Affiliation:Technische Universität München, Germany
Personal website:http://www21.in.tum.de/~kuncar/

Contributions

CPP 2018 Author of Efficient Certification of Complexity Proofs: Formalizing the Perron–Frobenius Theorem (Invited Talk Paper) within the CPP 2018-track
POPL 2018 Author of Safety and Conservativity of Definitions in HOL and Isabelle/HOL within the Research Papers-track
CPP 2017 Committee Member in Program Committee within the CPP-track