A homepage of Ondra Ježil
Hi, my name is Ondra and I am a doctoral student at the Faculty of Mathematics and Physics, Charles University, Prague. I am interested in Bounded Arithmetic and Computational Complexity Theory.
email: ondrej.jezil[at]email[dot]cz
Research papers
Prime Factorization in Models of PV_1 pdf 2025 pre-print, Submitted
Feasibility of Primality in Bounded Arithmetic (with Raheleh Jalali) pdf 2025 pre-print, Submitted
Limits of structures and Total NP Search Problems pdf 2023 pre-print, Submitted
Teaching (Summer 2024/2025)
Student logic seminar
A seminar about basic propositional proof complexity. Please refer to the seminar's website.