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

MLSkip: Data Skipping for ML Filters via Lightweight Metadata.
Mihail Stoian, Mark Gerarts, Pascal Ginter, Andreas Zimmerer, Jan Van den Bussche, Andreas Kipf.
Accepted for the AIDB workshop of VLDB 2026.
https://doi.org/10.48550/arXiv.2606.03946
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.

Other Activities

VLDB 2027 Shadow PC member.

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.