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.
12 years of coding experience
Master's degree, Mathematical Physics, Master's degree, Mathematical Physics at Radboud Universiteit Nijmegen
Dutch, English
Github Skills (64)
circuit10
rewriting10
python10
sympy10
calculus10
linter10
quantum-computing10
quantum-programming-language10
static-typing9
user-guide9
tikz9
pgf9
abstract9
ranking8
user-manual8
Programming languages (8)
Github contributions (5)
jvdwetering/Henk
Jun 2017 - Sep 2022
Henk - a bot for Telegram
Contributions:8 PRs, 106 pushes, 1 branch in 5 years 3 months
telegramtelegram-botbot
zx-outreach/website
Mar 2019 - Mar 2025
Map of all the people working on ZX-calculus related topics
Contributions:3 PRs, 284 pushes, 1 comment in 6 years 1 month
homotopy-type-theoryfunctorcalculusworking-ontype-theory
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.