CV

Education

• Ph.D. focused on Constrained Policy Synthesis in Markov Models, Brno University of Technology, 2027 (expected)
• Master’s degree (Ing.) in Mathematics and Theoretical Computer Science, Brno University of Technology, 2023
• Bachelor’s degree (Bc.) in Information Technology, Brno University of Technology, 2021

Work experience

• 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
  • One of the main developers of the tool PAYNT
• 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

Publications

• Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann: “Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families”. In CAV, 2026.
• Linus Heck, Filip Macák, Roman Andriushchenko, Milan Češka, Sebastian Junges: “Shields to Guarantee Probabilistic Safety in MDPs”. In CAV, 2026.
• Linus Heck, Filip Macák, Milan Češka and Sebastian Junges: “Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking”. In AAAI, 2026.
• Roman Andriushchenko, Alex Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, and Filip Macák: “Search and Explore: Symbiotic Policy Synthesis in POMDPs”. Form. Methods Syst. Des. (CAV’23 special issue), 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.

Academic Service

• Artifact Evaluation PC member
  • CAV’24, CAV’25, CAV’26
  • TACAS’25, TACAS’26
• External Reviewer
  • TACAS’26
  • FM’24, FM’26
  • SV-COMP’24
• Volunteer
  • CAV’25

Awards

• 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

Languages, Skills and Hobbies

• Languages: English C1, German A1
• Technical skills: C, C++, Python, Haskell, C#, Git, Docker, LATEX, Lean (still learning)
• Hobbies: Hiking and sports in general (), audio books, video games and board games

Blue moon, you saw me standing alone, without a dream in my heart, without a love of my own.