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 122 634359
book
A textbook on informal homotopy type theory
Language:TeX00
dizx
A qudit version of PyZX
Language:Jupyter Notebook6 2 03
Henk
Henk - a bot for Telegram
Language:Python15
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.1k 25 15569
pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
Language:OpenQASM380 23 145115
quantomatic
Quantomatic is a tool for doing automated graph rewriting.
Language:Standard ML153 29 24622
zxlive
A graphical tool for the ZX calculus
Language:Python49 12 19019

jvdwetering's Repositories

jvdwetering/dizx
A qudit version of PyZX
Language:Jupyter Notebook6 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:Python15
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