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.

Teaching Archive