Vladimir Zamdzhiev
where else to find them
what they talk about
where they keep going back
- PLanQC3 editions2022–2026
on a stage with
- Andre Kornellonce
- Bert Lindenhoviusonce
- Emmanuel Jeandelonce
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Opening Address | PLanQC 2026 | 2026-01-12 |
Schedule changes force a shorter lunch by 10 minutes less lunch so the program fits two extra talks; the keynote Christo Charton at 11:00 is expected by train… | ||
| Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach | PLanQC 2026 | 2026-01-12 |
Presents a concrete categorical model of MALL built inside finite-dimensional operator spaces and finite-dimensional von Neumann (co)algebras, using the… | ||
| Quantum and Classical Control (work-in-progress) | PLanQC 2024 | 2024-01-20 |
Language defines a typed calculus that stitches a quantum control fragment (pure quantum types interpreted as Hilbert spaces, formation rules ensuring… | ||
| Type-safe (Variational) Quantum Programming in Idris | PLanQC 2022 | 2022-09-15 |
Qimaera implements variational quantum programming as Idris 2 libraries that use dependent types and linearity to guarantee at compile time that circuits… | ||
| Semantics for Variational Quantum Programming | POPL 2022 | 2022-01-16 |
A type-safe language combines a higher-order probabilistic classical core (PFPC) with a first-order linear quantum core and a new first-order quantum-function… | ||
| nothing matches | ||