Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aleks Kissinger
conf.researchr.org general profile
PLDI 2024 profile
POPL 2024 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Aleks Kissinger
Country:
United Kingdom
Affiliation:
University of Oxford
Contributions
2026
SPLASH
Author of TensorRocq: Enabling Diagrammatic Reasoning in Rocq within the OOPSLA-track
2024
PLanQC
Author of Optimal compilation of parametrised quantum circuits within the PLanQC 2024-track
Session Chair of New Directions for Quantum Programming (part of PLanQC 2024)
Author of Graphical Primitive Recursion For String Diagrams within the PLanQC 2024-track
WQS
Author of Hybrid Quantum-Classical Machine Learning with String Diagrams within the WQS-track
Share
x
Sun 1 Nov 16:52