Sven Bootsma

Sven Bootsma

Cryptographer · TNO

Verifiable AI Zero-Knowledge Proofs Cryptography Quantum Optimisation Rust Python

I work in cryptography, with a focus on verifiable AI — using cryptographic proof systems to make machine learning models more trustworthy. I also do some work on QUDO, a quantum-ready design optimisation framework.