Diploma's in wiskunde, fysica en informatica, met de hoogste onderscheidingen. Hands-on van marktleiders tot snelgroeiende startups.

Masterthesis bij NXP Semiconductors over inferentie van neurale netwerken zonder dat de cloud servers die de AI modellen draaien weten wat de input is.

• Een framework gebouwd en algoritmisch onderbouwd om geëncrypteerde inferentie van neurale netwerken praktischer te maken.
• Het geheugengebruik aan de kant van de gebruiker met 90 procent teruggebracht, dankzij nieuwe optimalisaties voor inferentie onder encryptie.
• Bijgedragen aan OpenFHE, een veelgebruikte cryptografische open-source library, door de gegenereerde sleutels 30 procent kleiner gemaakt.
• Beoordeeld met 9,5/10 voor het engineering-gedeelte en 8,5/10 voor de wiskundige onderbouwing.

Het gebruiken van wiskundig formalisme om te verzekeren dat systemen van miljoenen lijnen code correct werken.

• Een nieuwe aanpak ontwikkeld om de berichtenvolgorde tussen systemen te verzekeren met behulp van formele verificatie.
• Getest tegen een codebase van meer dan vijf miljoen regels om te zien of ze schaalbaar was.

Backend-ontwikkeling aan een .NET-applicatie, met bijbehorende tests en cloud-infrastructuur.

• Bestaande applicatie uitgebreid met meer dan 10 nieuwe entiteiten, en een integratietestframework vanaf nul opgezet.
• Daarmee 20+ integratietests en 100+ unittests in de CI/CD-pipeline op Azure gebracht.
• 20+ REST-endpoints gebouwd met Auth0-rollen, en realtime Gmail-meldingen via Google Cloud toegevoegd, waarmee het aantal ondersteunde e-mailproviders verdubbelde.

Dashboard waarmee het bedrijf zelf producttests kon draaien, plus een backend migratie.

• Een dashboard van scratch in Next.js, React en TypeScript gebouwd dat 100+ medewerkers zelfstandig producttests liet uitvoeren.
• Bestaande backend van meer dan 5000 regels overgezet van memory-based opslag naar een persistente database met Prisma en SQLite.

AI tool (MCP) die de vraag beantwoordt die elke developer zich stelt: "waarom staat deze code hier?" De tool volgt de geschiedenis terug naar de commit, pull request en discussie die ze er gezet hebben.

• Zelf gebouwd en uitgebracht op twee marktplaatsen (PyPI, VSCode), zodat iedereen het vandaag kan installeren en gebruiken.
• Werkt samen met LLMs en geeft ze een manier om in het verleden van een project te graven in plaats van te gokken.
• Op de codebase van Kubernetes getoond hoe het een mysterieuze regel code terugleidt naar de commit, pull request en discussie erachter.

Onzichtbare fingerprinting voor bestanden, zodat je kunt bewijzen dat jij iets maakte, zelfs nadat het is gekopieerd.

• Eerste plaats behaald in een wedstrijd van 24 uur tegen meer dan 80 kandidaten.
• De handtekening overleeft compressie, verkleining of conversie, en wordt vastgelegd zodat het eigenaarschap later te controleren is.