John Van De Wetering
Assistent-professor at Radboud University
Arnhem, Gelderland, Netherlands
Summary
👤
Senior🎓
Top SchoolJohn Van De Wetering is an assistant professor and former Oxford postdoctoral researcher with 13 years of experience developing the theory and tooling of quantum computation. He specializes in diagrammatic reasoning and the ZX-calculus to optimise, verify, and simulate quantum circuits, bridging deep mathematical physics training with practical research impact. Based in the Netherlands, he combines academic leadership at the University of Amsterdam with an ongoing affiliation to Radboud University through his PhD work. Notably, his background includes mentorship and teaching at multiple levels and a focused stint under prof. Bob Coecke that shaped his interdisciplinary approach to categorical models of computation and language.
13 years of coding experience
Master's degree, Mathematical Physics, Master's degree, Mathematical Physics at Radboud Universiteit Nijmegen
Dutch, English
Github Skills (38)
python10
linter10
quantum-computing10
quantum-programming-language10
static-typing9
tikz9
pgf9
calculus9
abstract9
homotopy-type-theory8
user-guide8
typechecker8
algebra8
symbolic-math7
functor7
Programming languages (8)
Github contributions (5)
zx-outreach/website
Mar 2019 - Jun 2026
Map of all the people working on ZX-calculus related topics
Contributions:3 PRs, 335 pushes, 1 comment in 7 years 3 months
homotopy-type-theoryfunctorcalculusworking-ontype-theory
jvdwetering/Henk
Jun 2017 - Sep 2022
Henk - a bot for Telegram
Contributions:8 PRs, 106 pushes, 1 branch in 5 years 3 months
telegram
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.