Ž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 constraint satisfaction problems and related universal-algebraic and model-theoretic questions. Currently, I am mostly working on infinite-domain valued 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).
PUBLICATIONS AND PREPRINTS
- J. Rydval, Ž. Semanišinová, M. Wrona. Identifying Tractable Quantified Temporal Constraints within Ord-Horn. 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP), to appear. Preprint on ArXiv.
- M. Bodirsky, Ž. Semanišinová, C. Lutz. The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), to appear. Preprint on ArXiv.
- M. Bodirsky, P. Jonsson, B. Martin, A. Mottet, Ž. Semanišinová. Complexity Classification Transfer for CSPs via Algebraic Products. SIAM Journal on Computing, to appear. 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
*invited talks and invitational events
- AAA105, Prague, Czech Republic, May/June 2024.
Talk: Identifying Tractable Quantified Temporal Constraints within Ord-Horn. Slides. - 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.
Talk*: Valued Constraint Satisfaction Problem and Resilience in Database Theory.
Slides. - CWC 2023*, Weissensee, Austria, September 2023.
- Algebra Week, Siena, Italy, July 2023.
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