jvdwetering

I am an assistant professor at the University of Amsterdam. My research focuses on the theory of quantum computation.

University of AmsterdamAmsterdam, The Netherlands

Pinned Repositories

book
A textbook on informal homotopy type theory
Language:TeX2k 120 634360
book
A textbook on informal homotopy type theory
Language:TeX00
dizx
A qudit version of PyZX
Language:Jupyter Notebook7 2 03
Henk
Henk - a bot for Telegram
Language:Python1 3 05
jordanrewrite
Python script for rewriting long expressions in Jordan algebras, used for proving the fundamental equality
Language:TeX00
zx-map
Map of all the people working on ZX-calculus related topics
Language:HTML36
tikzit
pgf/TikZ diagram editor
Language:C++1.2k 25 15572
pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
Language:OpenQASM389 23 148116
quantomatic
Quantomatic is a tool for doing automated graph rewriting.
Language:Standard ML155 29 24622
zxlive
A graphical tool for the ZX calculus
Language:Python51 12 19420

jvdwetering's Repositories

jvdwetering/dizx
A qudit version of PyZX
Language:Jupyter Notebook7 2 03
jvdwetering/zx-map
Map of all the people working on ZX-calculus related topics
Language:HTML36
jvdwetering/Henk
Henk - a bot for Telegram
Language:Python1 3 05
jvdwetering/book
A textbook on informal homotopy type theory
Language:TeX00
jvdwetering/jordanrewrite
Python script for rewriting long expressions in Jordan algebras, used for proving the fundamental equality
Language:TeX00