Resume
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 AntwerpSep 2022 - Present
- Research in formal methods and reinforcement learning
- Teaching courses on compilers, software engineering, computer architecture
Education
Bachelors in Computer Science
University of AntwerpSep 2016 - Feb 2020
- Grade: distinction
- Elective courses on computational biology and applied logic.
Masters in Computer Science
Specialisation Data Science and AIUniversity 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.