Sven Bootsma
Cryptography & Quantum Optimisation Researcher · TNO
I'm a researcher at TNO working on two tracks. The first is verifiable computation for AI — applying zero-knowledge proofs to give cryptographic guarantees over ML models and their outputs. The second is QUDO (Quantum Ready Design Optimisation) — a design optimisation framework built on classical methods (genetic algorithms, surrogate-based algorithms) with an architecture that supports drop-in quantum acceleration.
Technical Expertise
Programming
- Python
- Rust
Verifiable AI
- Zero-Knowledge Proofs
- Verifiable Computation
Design Optimisation
- Evolutionary Algorithms
- Surrogate-Based Algorithms
- Quantum Annealing
Mathematics
- Algebraic Geometry
- Elliptic Curves
- Number Theory
Personal
Outside of research, I enjoy chess, athletics, and cycling.
Research Philosophy
Good research should be grounded in rigorous mathematics but ultimately serve a practical purpose. Whether building cryptographic guarantees into AI systems, or designing optimisation frameworks that can grow with new hardware, the goal is always to produce something that works in the real world.