Ik werk op het snijvlak van mathematische logica, AI-verificatie en grootschalig systeemontwerp. Mijn kernthese: de omgevingen waar AI nu beslissingen neemt — steden, overheden, autonome multi-agentsystemen — hebben een onafhankelijke, verifieerbare laag nodig die controleert wat de AI produceert, zoals een accountant de boeken van een bedrijf controleert.
Mijn achtergrond ligt in mathematische logica en semantisch programmeren — werk aan dekpuntstellingen in de stijl van Gandy, het probleem P = L en polynomiaal berekenbare representaties van formele systemen. Van daaruit ben ik overgestapt naar toegepaste AI-infrastructuur: betrouwbare-AI-methoden die grote taalmodellen combineren met formele logica, en de verificatie-engine ENIGMA Axiom die deze methoden in de praktijk brengt.
Vandaag adviseer ik organisaties die AI met hoge inzet bouwen — via IAIC FZCO in Dubai — en organiseer ik conferenties (MathAI, SmartCity, IAIC-evenementen) en redactionele initiatieven die de onderzoeksgemeenschap rond betrouwbare AI samenbrengen.
P = L, polynomiale analoga van Gandy's dekpuntstelling, polynomiaal berekenbare representaties.
LLM's combineren met formele logicasystemen; formele + feitelijke controle van modeloutput (ENIGMA Axiom).
Virtuele steden, digitale tweelingen en autonome AI-samenlevingen op stadsschaal.
Taakgebaseerde cognitieve architecturen; AI + verifieerbare registers voor overheidsefficiëntie en civic intelligence.
Ik adviseer organisaties die AI met hoge inzet bouwen — gefactureerd via IAIC FZCO, Dubai.
Bekijk advies & boek een consult →