Me!

About Me

I'm pursuing a PhD at the University of Antwerp in the lab of Prof. Guillermo A. Pérez. My research focusses on applying techniques from formal methods to reinforcement learning. Aside from research I also teach four courses on compilers, software engineering, and computer architecture.

Experience

PhD researcher / Teaching assistant

University of Antwerp
Sep 2022 - Present
  • Research in formal methods and reinforcement learning
  • Teaching courses on compilers, software engineering, computer architecture

Education

Bachelors in Computer Science

University of Antwerp
Sep 2016 - Feb 2020
  • Grade: distinction
  • Elective courses on computational biology and applied logic.

Masters in Computer Science

Specialisation Data Science and AI
University of Antwerp
Sep 2019 - Jun 2022
  • Grade: great distinction
  • Thesis on Graph-Based Reductions for Parametric and Weighted MDPs.
  • Elective courses on neural networks, functional programming, and data science ethics.

Publications

Graph-Based Reductions for Parametric and Weighted MDPs

Kasper Engelen, Guillermo A. Pérez, Shisha Rao
ATVA 2023, vol 1, pp 137–157

Arxiv Springer Zenodo

Analyzing Value Functions of States in Parametric Markov Chains

Kasper Engelen, Guillermo A. Pérez, Shisha Rao
Principles of Verification: Cycling the Probabilistic Landscape, part II, pp 145–165.
2025.

Springer Zenodo