https://ondrik.github.io/cv/ https://ondrik.github.io/ https://ondrik.github.io/publications/ https://ondrik.github.io/teaching/ https://ondrik.github.io/tools/ https://ondrik.github.io/presentations/aplas14_seplog_decproc.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/aplas19-buchi-compl.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/aplas19-counting-aut.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/aplas20-rmc-for-string-solving.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/atva11-symbolicTA.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/avm12_presentation.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/cade19-automata-terms.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/cav13_forester_learning.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/cav22-ranker-tool.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/cav24-presburger-algebraic.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/concur21-reducing-ranks.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/cost_meeting_malta13.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fav-ai-2013.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fav-ai-2014.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fav-ai.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fccm19-hw-nfa-reduction.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fct25-nfa-complementation.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fi_muni_12.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fi_muni_colloquium_25.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fm23-strings-noodler.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fossacs25-tela-complement.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/fourier14.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/frvs2012_defence.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/frvs2013_defence.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/hvc11-accver.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/hvc12-haven.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/exercises01-PropositionalLogic.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/exercises02-FirstOrderLogic.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/exercises03-FirstOrderTheories.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/lab01-PropositionalLogic.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/lab03-FirstOrderTheories.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/lecture01-PropositionalLogic.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/lecture02-FirstOrderLogic.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/lecture03-FirstOrderTheories.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/lecture04-automata.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iam/numbers.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/iccad24-quantum-symbolic-exec.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/lengal-habilitation-slides.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/liafa_june_13.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/memix12-down-inc.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/mfcs25-notcontains.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/mosca19-fairness-presentation.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/mosca19-ws1s.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/netys17-spark-commutativity.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/netys21-deciding-s1s.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/oopsla23-strings-with-lengths.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/phd-defense.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/pldi23-quantum-bug-hunting.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/pldi25-position-slides.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/popl26-quantum-swta.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/sat24-noodler-conversions.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/slo-counting.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/slo-cryptography.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas12-vata.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas15-ws1s-antichains.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas17-fairness.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas17-lazy-automata-ws1s.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas18-nfa-approx-red-presentation.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas22-buchi-elevator.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas23-modular-complementation.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas24-mata.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas24-z3-noodler.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas25-autoq-2-programs.pdf 2026-03-16T10:01:06+00:00 https://ondrik.github.io/presentations/tacas25-noodler-shepherding.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/uits_leto_2014.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/uppsala_14.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/usenix-sec22-redos.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/verifit_den_vedy_2013.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/verifit_den_vedy_2014.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/vqc25-automata-quantum.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/vqc25-poster-autoq.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/wavas_13_taipei_forester_learning_data.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/presentations/wqs-25-automata-quantum.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/FIT-TR-2011-04.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/FIT-TR-2013-02.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/FIT-TR-2014-01.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/FIT-TR-2014-06.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/FIT-TR-2016-03.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/ahjltv-acta-15.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/aplas14_seplog_decproc.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/aplas19-buchi-compl-simulation.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/aplas19-counting-automata.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/aplas20-rmc-for-string-solving.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/atva11-downward-incl.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/atva13_forester_data.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/atva18-symbolic-simulation.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/cade19-wsks-lazy.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/cav13-forester-boxing.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/cav22-ranker-tool.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/cav23-autoq.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/cav24-presburger-automata.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/chhlv-sttt-19-problomata.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/concur21-reducing-ranks.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/constraints-25-stabilization.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/ddecs08-network-probe.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/dsd09-perfect-hashing.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/elsv-fmsd17-spen.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/fccm19-hw-nfa-reductions.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/fct25-nfa-complement.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/fhlv-acta-19-ws1s-dwina.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/fm23-noodler.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/fossacs25-complement-emerson-lei.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/iccad24-quantum-symb-exec.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/icse16-pac-learning.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/jar-21-lazy-wsks.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/lengal-habilitation.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/lengal_phd_thesis.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/lengal_phd_thesis_short.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/lics17-ra-with-la.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/lpar19-wsks-antiprenex.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/masters_thesis.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/mfcs25-not-contains.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/netys17-spark-spec.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/netys21-deciding-s1s.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/nfm17-spen-toolpaper.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/oopsla20-counting-set-automata.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/oopsla23-noodles-with-strings.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/pldi18-semidet-buchi-compl.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/pldi23-quantum-bug-hunting.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/pldi25-position-constraints.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/popl25-lstas-for-quantum.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/popl26-swtas-for-quantum.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/sat24-string-conversions.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas12-vata.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas15_forester_svcomp.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas15_ws1s.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas16-forester-svcomp.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas17-fairness.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas17-forester-svcomp.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas17-ws1s-lazy.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas18-approximate-reduction.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas22-sky-is-not-the-limit.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas23-buchi-mix-and-match.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas24-mata.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas24-z3-noodler.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas25-autoq-2-programs.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/tacas25-noodler-shepherding.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/usenix-security22-counting-redos.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/publications/vmcai17-forester-pred-abstr.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/iam-first-order-logic.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/iam-first-order-theories.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/iam-propositional-logic.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/idm-svazy.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/izlo-opora-2024.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/pages/minisat/minisat.html 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/sav-abstract-interpretation.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/sav-deductive-verification.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/sav-symbolic-execution.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/slo-counting.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/slo-cryptography.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/slo-introduction.pdf 2026-03-16T10:01:07+00:00 https://ondrik.github.io/teaching/slo-np-completeness.pdf 2026-03-16T10:01:07+00:00