Personal Information
ORCID
[0000-0001-8237-1275](https://orcid.org/0000-0001-8237-1275)
Web
[janpastorek.com](https://janpastorek.com/)
Education
2023–2027
PhD, Mathematics and Computer Science
Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
2021–2023
Master's degree, Cognitive Science
Comenius University in Bratislava & Universität Wien (joint MEi:CogSci programme with Eötvös Loránd University Budapest and University of Ljubljana)
Comenius University in Bratislava & Universität Wien (joint MEi:CogSci programme with Eötvös Loránd University Budapest and University of Ljubljana)
2018–2021
Bachelor's degree, Computer Science
Comenius University in Bratislava
Comenius University in Bratislava
2018–2020
Certificate, Liberal Arts and Sciences
Collegium of Anton Neuwirth / St. John's College
Collegium of Anton Neuwirth / St. John's College
2013–2018
Bilingual Gymnasium of St. Edith Stein
Current Position
2023–present
Doctoral Student
Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
Previous Positions
2022–2023
Research Intern, CulturePulse
Agent-based modeling and data analysis
Agent-based modeling and data analysis
2020–2023
Data Analyst (part-time), DEKK Institute
R&D of data science tools for analyzing social cohesion
R&D of data science tools for analyzing social cohesion
2020–2021
High School Computer Science Teacher (part-time), United School of St. Ursula
2020
Scientific Researcher, RCQI – Research Center for Quantum Information, Slovak Academy of Sciences
Reinforcement learning applied to violating CHSH/Bell inequalities in non-local games
Reinforcement learning applied to violating CHSH/Bell inequalities in non-local games
Grants, Stipends & Internships
2026
Comenius University grant, Asymmetric depth of graphs of given genus (GUK2026), No. UK/1020/2026
2025
Comenius University grant, Constructions for conjectures regarding asymmetric depth of graphs (GUK2025)
2024
Erasmus+ research visit, TU Darmstadt — Prof. P. Schweitzer's group (Weisfeiler-Leman & partial automorphisms)
2024
Erasmus+ research visit, DTU Copenhagen — Peter Zeman, PhD (Weisfeiler-Leman & partial automorphisms)
2022–2024
Comenius Student Stipend program
2020
Research intern, Slovak Academy of Sciences at QUTE — Reinforcement learning in Quantum Nonlocal games
2019–2022
USSteel Košice University Stipend program
Awards
2024
Laureate, Faculty Student Science Conference — Partial automorphism monoid of graphs and Weisfeiler-Leman
2021
Dean's award for the best bachelor thesis — Reinforcement learning in Quantum Nonlocal games
Teaching & Supervision
2023–present
Linear Algebra; Graphs, Graph Algorithms and Optimization; Discrete Mathematics (1 & 2); Algorithmic Solution of Hard Problems; Logic for Computer Science — Comenius University in Bratislava
Full year-by-year history → [[teaching|Teach & Supervise]]
Full year-by-year history → [[teaching|Teach & Supervise]]
Supervisor — Bachelor: Vladyslav Peresada (2025), Samuel Varchol (2026), Vladimír Jančár (2026, dean’s award) · Master: Marek Danihel (2027)
Opponent — Matúš Nemčík (2026), Erik Kolesár (2026), Timotea Chalupová (2024)
Publications
Preprints
- Jajcayová, T., Pastorek, J. “Maximal asymmetric depth of graphs”
- Pastorek, J. “Extremal Asymmetric Depth of Planar Graphs and Hidden Near-Mirror Symmetries of IPR Fullerenes”
Conference proceedings
- Pastorek, J. (2026). “AutoGraphForge: Towards Automated Graph Theory Discovery.” ITAT 2026.
- Cingel, V., Jajcayová, T., Pastorek, J. (2024). “Partial automorphisms and level of symmetry of asymmetric graphs.” ITAT 2024, Aachen: CEUR-WS, pp. 162–170.
Full publication list → Output
Talks
6 contributed talks (2024–2026) at CSGT, ITAT, CICM, and Doctoral Colloquia/regional seminars in Bratislava and Košice; 1 invited talk (2026, Mirka Miller’s Combinatorics Webinar Series).
Full list with abstracts → Output
Projects
2026
ITAT CADM — Computational Aspects of Large-Scale Problems in Discrete Mathematics — organizing committee
2025
GEMS — Graph Embeddings and Maps on Surfaces — assisting
2024
ENLIGHT — AI for everyone — co-organizer