Filip Macák

I am a computer science PhD student whose research focuses on the formal analysis of probabilistic models, more specifically I focus on constrained policy synthesis in Markov models.

About me

My PhD studies began in 2023 at the Faculty of Information Technology of Brno University of Technology (BUT FIT) under the supervision of Milan Češka. I am part of the VeriFIT research group and I have been an active member of Milan’s research team already since my undergrad studies. I received my Master’s degree at BUT FIT with the specialization in theoretical computer science and mathematical methods in computer science. My Master’s thesis named “Improving Synthesis of Finite State Controllers for POMDPs Using Belief Space Approximation” (pdf) also served as the basis for my first research paper.

Goals of my PhD thesis

My thesis and therefore also my research focuses on the following three main goals:

• Synthesis of Compact and Explainable Policies for MDPs
• Synthesis of Finite-state Controllers for POMDPs
• Constrained Policy Synthesis for Sets of Markov Models