Master- & PhD-begeleiding

Ik neem master- & PhD-studenten aan

Elk jaar een beperkt aantal studenten. Je krijgt een concrete onderzoeksrichting, intensieve begeleiding, co-auteurschap van artikelen in peer-reviewed venues en een helder traject van je eerste artikel tot een verdedigd proefschrift — publicaties lopen via de journals van het ENIGMA-platform en internationale venues (IEEE Access, proceedings van MathAI & SmartCity).

Jouw traject: eerste artikel in ~6 maanden → conferentievoordracht (MathAI / SmartCity) → proefschrift.

Richtingen

Vijf onderzoeksrichtingen

Wiskundige logica & berekenbaarheid

Polynomiale berekenbaarheid, formele semantiek, dekpuntstellingen — de fundamenten waarop mijn eigen onderzoeksprogramma rust.

AI-verificatie & betrouwbare AI

Formele methoden ontmoeten LLM's: verificatieharnassen, citatiecontrole en wat er nodig is om een model in productie te vertrouwen.

Multi-agentsystemen & AGI-architecturen

Taakgebaseerde cognitieve architecturen, coördinatieprotocollen en agent-economieën — de onderzoekslijn van het werk in IEEE Access.

Smart cities & digital twins

Agentgebaseerde stadssimulatie, digital-twin-governance en civic intelligence.

Blockchaintheorie & formele methoden

Axiomatisering van blockchainsystemen, verifieerbare records en gelaagde kennisarchitecturen.

Schrijf me een korte brief: je achtergrond en welke richting je aanspreekt.

Meld je hieronder aan ↓ Solliciteer per e-mail →

Aanmelding