Background

Sept 2023 – present

Cryptographer

TNO, The Netherlands

2021 – 2023

MSc Mathematics

University of Groningen

2017 – 2020

BSc Mathematics

University of Groningen


Technical Expertise

Zero-Knowledge Proofs

  • Sumcheck-Based Protocols
  • Compressed Σ-Protocols
  • Commit-and-Prove Systems

Verifiable AI

  • Proofs of Training
  • Federated Learning
  • Proofs of Inference

Cryptography

  • Secure Multi-Party Computation
  • Homomorphic Encryption
  • Symmetric Cryptography

Programming

  • Rust
  • Python
  • C

Quantum Optimisation

  • QUBO
  • Quantum Annealing

Mathematics

  • Algebraic Geometry
  • Elliptic Curves
  • Number Theory

Personal

Outside of research, I enjoy chess, poker, athletics, and cycling.


Contact

Open to collaboration and research opportunities in zero-knowledge proofs, verifiable AI, and cryptography.