I had been studying theoretical computer science at the Faculty of Mathematics and Physics at the Charles University in Prague from 2002. Since September 2011, I have been working as a research assistant at the Chair for Logic and Verification.
| Address: |
Technische Universität München Institut für Informatik Boltzmannstr. 3 85748 Garching Deutschland |
|---|---|
| Telephone: | +49 (89) 289-17328 |
| Telefax: | +49 (89) 289-17307 |
| Office: | MI 01.11.059 |
Currently I am working on the Executing HOL Project in the Isabelle theorem prover.
Publications
Conferences
- Proving Valid Quantified Boolean Formulas in HOL Light.
Ondřej Kunčar.
Proceedings of the ITP '11 (© Springer). BibTeX
- Reconstruction of the Mizar Type System in the HOL Light System.
Ondřej Kunčar.
Proceedings of the WDS'10. BibTeX
Master thesis
-
Systems For Formal Mathematics [only Czech].
Ondřej Kunčar. Master thesis (advisor: Josef Urban).
Faculty of Mathematics and Physics, Charles University, Prague. September 2009. BibTex