Winter term 2024/2025
MON 10:30-11:30 A_413_ Thesis consulting – Elliptic…
MON **:**-**:** ****** Teachnig preparation Linear Algebra 1 (1bc_API/**)
TUE 10:00-11:40 DE300_ Linear Algebra 1 (1bc_API/**)
TUE 12:20-13:50 M-213_ Research [at FMPhI CU]
TUE 14:00-15:00 A_413_ Thesis consulting – Testing the equivalence of regular…
TUE 15:00-16:00 A_413_ Thesis consulting – Assisting…
TUE 16:00-16:40 A_413_ Theses consulting
TUE 17:00-18:40 DE150_ Linear Algebra 1 (2bc_API/#2)
TUE 19:00-20:00 Zoom__ Algebraic Graph Theory International Webinar
WED **:**-**:** ****** Research
WED 12:00-12:50 A_419_ Mathematics Seminar
WED **:**-**:** Zoom__ Mirka Miller’s Combinatorics Webinar Series
THU 09:50-11:20 M-213_ Bratislava Graph Theory Seminar [at FMPhI CU]
THU 13:00-14:40 DE150_ Linear Algebra 1 (1bc_API/08)
THU 15:00-16:40 DE150_ Linear Algebra 1 (1bc_API/11)
THU 17:00-18:40 DE150_ Linear Algebra 1 (2bc_API/#1)
FRI 10:40-12:10 M-213_ Computer Science Theory Seminar [at FMPhI CU]
FRI 12:20-15:20 M-VIII Algebraic Graph Theory Seminar [at FMPhI CU]
SAT **:**-**:** ****** Homework grading Matematika 1 E (1bc_AM/**, 1bc_ET/**, 1bc_ENE/**, 1bc_JFI/**)
Winter term 2024/2025
Academic year 2024/2025
Assisting in evaluation of the answers of some types of mathematical problems aided by recognition of handwritten simple mathematical text using neural networks (Master’s Thesis)
A non binary version of the binary algorithm to compute the greatest common divisor of non negative integers (Bachelor’s Thesis)
Elliptic curve cryptography – security analysis and attack demonstration (Bachelor’s Thesis)
Constructing a regular expression equivalent to a finite automaton (Bachelor’s Thesis)
Testing the equivalence of regular grammars (Bachelor’s Thesis)
Testing the equivalence of context-free grammars on short words (Bachelor’s Thesis)
Website with real estate offers (Bachelor’s Thesis)
Academic year 2025/2026
Own topic from the field of Linear Algebra
Own topic from the field of Graph Theory
Own topic from the field of Formal Languages and Automata