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

2018

CPP

Author of Efficient Certification of Complexity Proofs: Formalizing the Perron–Frobenius Theorem (Invited Talk Paper) within the CPP 2018-track

POPL

Author of Safety and Conservativity of Definitions in HOL and Isabelle/HOL within the Research Papers-track

2017

CPP

Committee Member in Program Committee within the CPP-track