CV

Education

Ph.D focused on Constrained Policy Synthesis in Markov Models, Brno University of Technology, 2027 (expected)
M.Sc. in Mathematics and Theoretical Computer Science, Brno University of Technology, 2023
B.Sc. in Information Technology, Brno University of Technology, 2021

2022-now: Junior Researcher
- Brno University of Techology
- Supervisor: Milan Češka
- Mentor: Sebastian Junges
- Main focus: work on formal methods for analysis of Markov models (MDPs, POMDPs, …), synthesis of compact and explainable policies for Markov models, combination of formal methods with reinforcement learning for learning safe policies in MDPs
09/2025-11/2025: Visiting Researcher
- Radboud University Nijmegen
- Visit hosted by Sebastian Junges
- Focus on shielding in MDPs, conditional reachability in MDPs and synthesis of explainable decision trees
2019-2022: Full-Stack .NET Core Developer
- Kinalisoft
- Main focus: development of information system and software for controlling PCB assembly machines produced by Mycronic

Linus Heck, Filip Macák, Milan Češka and Sebastian Junges: “Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking”. (To appear) in AAAI, 2026.
Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, and Joost-Pieter Katoen: “An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty”. J. Artif. Intell. Res., 2025.
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari and Milan Češka: “Decentralized Planning Using Probabilistic Hyperproperties”. In AAMAS, 2025.
Roman Andriushchenko, Milan Češka, Sebastian Junges and Filip Macák: “Small Decision Trees for MDPs with Deductive Synthesis”. In CAV, 2025.
Roman Andriushchenko, Milan Češka, Debraj Chakraborty, Sebastian Junges, Jan Křetínský and Filip Macák: “Symbiotic Local Search for Small Decision Tree Policies in MDPs”. In UAI, 2025.
Roman Andriushchenko, Milan Češka, Sebastian Junges and Filip Macák: “Policies Grow on Trees: Model Checking Families of MDPs”. In ATVA, 2024.
Roman Andriushchenko, Alex Bork, Milan Češka, Filip Macák, Sebastian Junges, and Joost-Pieter Katoen: “Search and Explore: Symbiotic Policy Synthesis in POMDPs”. In CAV, 2023.

Josef Hlávka’s Award for talented students 2025
BUT Rector Award for Outstanding Conference Contribution with a Major Impact on the Community
Best Student Paper Award at AAMAS’25
Distinguished Paper Award at ATVA’24
IT SPY 2023 3rd place for best master’s thesis in Czechia and Slovakia.
Expert Committee Award at Excel@FIT 2023.
Dean’s prize for an excellent master’s thesis and study results.
Graduated master’s study with honours