Academic CV

I am a PhD student under Jan Van den Bussche at DINCOMP, DSI, Hasselt University. I research query languages for neural networks and their application to formal verification.

Publications

SQL4NN: Validation and Expressive Querying of Models as Data.
Mark Gerarts, Juno Steegmans, Jan Van den Bussche, DEEM Workshop, SIGMOD 2025. Best Short Paper Award.
https://doi.org/10.1145/3735654.3735946

Talks

SQL4NN: Validation and Expressive Querying of Models as Data.
DEEM Workshop, SIGMOD 2025.
Creating Interactive Visualizations of TopHat Programs.
IFL 2021, https://youtu.be/watch?v=twZFSyIzrw0.

Theses

Querying and Verification of Neural Networks.
Master's thesis, UHasselt 2025.

Teaching

Object-oriented programming.
2026, Teaching Assistant.
Redeneren & Abstraheren (introductory math for CS).
2026, Teaching Assistant.

Industry experience

Developer / Bioinformatician
Jessa Hospital, 2024-2026.
Data Engineer
Sentigrate, 2022-2024.
Backend Developer
Nascom NV / make it fly, 2016-2022.

Contact me for more details on my work experience and education.