Sven Bootsma

Scientist — Cryptography & Quantum Optimisation · TNO

Verifiable AI Zero-Knowledge Proofs Cryptography Quantum Optimisation Rust Python

I work on the boundary between mathematics, cryptography, and quantum computing. My primary focus is verifiable AI — using cryptographic proof systems to make machine learning models more trustworthy. Alongside this, I work on QUDO, a quantum-ready design optimisation framework that works today and scales with quantum hardware.

Publications Projects About

Curriculum Vitae

  • Current Role: Scientist – Cryptography & Quantum Optimisation at TNO, the Netherlands
  • Specialisations: Verifiable Computation for AI, QUDO (Quantum Ready Design Optimisation)
  • Education: MSc Mathematics, University of Groningen, 2023
  • Experience: Research & development on zero-knowledge proof systems for verifiable AI, and quantum-ready design optimisation frameworks.
  • Skills: Python (4 years), Rust (2 year)
  • Publications: See Publications
  • Projects: See Projects