Žaneta Semanišinová
I am a PhD student at the Institute of Algebra at the TU Dresden since October 2021. My supervisor is Manuel Bodirsky. Since May 2023, I am part of ERC Synergy Grant POCOCOP. I am interested in universal algebra and algebraic approach to constraint satisfaction problems.
I did my bachelor and master studies in mathematics at the Charles University in Prague. My diploma thesis was devoted to universal-algebraic commutator theory in loops. In Prague, I also taught undergraduate Number Theory course for two semesters (my old teaching website, in Czech & Slovak).
Since 2012, I have been volunteering in the Association STROM, which organizes correspondence seminars and team competitions in mathematics, and also mathematical camps for talented students of elementary and high schools.
PUBLICATIONS AND PREPRINTS
- J. Rydval, Ž. Semanišinová, M. Wrona. Identifying Tractable Quantified Temporal Constraints within Ord-Horn. Submitted, preprint on ArXiv.
- M. Bodirsky, Ž. Semanišinová, C. Lutz. The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. Submitted, preprint on ArXiv.
- M. Bodirsky, P. Jonsson, B. Martin, A. Mottet, Ž. Semanišinová. Complexity Classification Transfer for CSPs via Algebraic Products. Submitted, preprint on ArXiv.
- Ž. Semanišinová, D. Stanovský. Three concepts of nilpotence in loops. Results in Mathematics (2023). DOI 10.1007/s00025-023-01882-x, preprint on ArXiv.
- Ž. Semanišinová. Paramedial quasigroups of prime and prime square order. Journal of Algebra and Its Applications (2022). DOI 10.1142/S0219498822502346, preprint on ArXiv.
CONFERENCES, SEMINARS AND MORE
- Algebra seminar at Pavol Jozef Šafárik University, Košice, Slovakia, February 2024.
Talk: Constraint satisfaction problems: an algebraic approach to classifying computational complexity. Slides. - Combinatorial Problems in Model Theory and Computer Science, Leeds, United Kingdom, November 2023.
Invited talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory.
Slides. - CWC 2023, Weissensee, Austria, September 2023.
- Algebra Week, Siena, Italy, July 2023.
Invited talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides. - AAA103, Tartu, Estonia, June 2023.
Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides. - Spring school of the Department of Algebra, Železnice, Czech Republic, March 2023.
Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides. - PALS (Panglobal Algebra and Logic Seminar), online, January 2023.
Talk: Complexity classification transfer for CSPs via algebraic products. Slides. - Visiting reseacher at the Institute for Algebra, JKU Linz, Austria, September/October 2022.
- CWC 2022, Molveno, Italy, September 2022.
Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products. - AAA102, Szeged, Hungary, June 2022.
Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products. Slides. - Spring school of the Department of Algebra, Lomnice nad Popelkou, Czech Republic, May 2022.
Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products. Slides. - AlMoTh 2022, Bremen, Germany, March 2022.
- Fall school of the Department of Algebra, Telecí, Czech Republic, November 2021.
Talk: Paramedial quasigroups of prime and prime square order. Slides. - International Seminar, Dresden, Germany, October 2021.
Talk: Supernilpotent loops. Slides. - LOOPS 2019, Budapest, Hungary, July 2019.
Talk: Paramedial quasigroups of prime and prime square order. Slides (contain some mistakes, revised results are for example in these slides).
CONTACT
Willersbau, Room C248
Zellescher Weg 12 - 14, 01069 Dresden