Wiskunde, fysica, computerwetenschappen. Acht stages in drie jaar.

Mijn thesis, samen met NXP. Ze laat een klein apparaat AI gebruiken op privegegevens zonder die gegevens ooit prijs te geven, door het model te draaien op encryptie die het niet kan lezen.

• Vier losse onderdelen hiervan bestonden al, maar nooit samen. Ik heb een framework ontworpen en gebouwd dat ze als een pipeline laat draaien, getest op vier echte neurale netwerken.
• Het verslaat de standaardbibliotheek op elke kost die telt voor het apparaat, met serversleutels tot 7,6 keer kleiner en uploads 6 tot 42 keer kleiner.
• Een deel voorspelt de nauwkeurigheid van het resultaat vooraf, 6 tot 13 keer sneller dan het echt uitvoeren, zodat je een opzet kunt afstemmen zonder uren te wachten.

Met wiskunde bewijzen dat software correct is, op de machines die de computerchips van de wereld maken.

• De aanpak getest tegen een codebase van meer dan vijf miljoen regels om te zien of ze kon opschalen.
• De resultaten gepresenteerd aan meer dan 100 engineers die moesten beslissen of ze het zouden invoeren.

Tools waarmee AI-assistenten zoals Claude echt engineeringwerk doen, niet alleen chatten.

• Drie van die tools gebouwd waarmee agents taken in meerdere stappen op een codebase uitvoeren.
• Ze 40 procent goedkoper gemaakt om te draaien door elke agent enkel de context te geven die hij echt nodig heeft.

Een AI-systeem dat de tests schrijft voor software van automotoren, werk dat mensen meestal met de hand doen.

• Meer dan 95 procent van de logica gedekt over ruim 200 motorcontrolemodules.
• Gebouwd als een team van zes AI-agents die bewust gescheiden bleven, zodat geen enkele de test kon omzeilen.

Een tool die je vertelt waarom een stuk code bestaat, door het via zijn geschiedenis terug te volgen naar de discussie die ertoe leidde.

• Zelf gebouwd en uitgebracht op twee marktplaatsen, waar iedereen het vandaag kan installeren.
• Het werkt samen met AI-codeerassistenten en geeft ze 32 manieren om door de geschiedenis van een project te graven.

Meten hoe snel een nieuwe manier om wachtwoorden te bewijzen is, tegenover de huidige standaard, in vier talen.

• Vanaf nul gebouwd in C, C++, Rust en Python om ze eerlijk te vergelijken.
• Kwam er 20 procent sneller uit dan de methode waarmee het concurreert.

Een tool die een onzichtbare handtekening in een bestand verbergt, zodat je kunt bewijzen dat jij het maakte, zelfs nadat het is gekopieerd.

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