a talk that I will have given, on a project at CQTS:
Topological Quantum Programming via Linear Homotopy Types
Quantum Physics and Logic (QPL 2024)
Buenes Aires, 15-19 July 2024
on Quantum Certification via Linear Homotopy Types
slides:
extended abstract:
Reporting on:
Related talks:
Towards Certified Topological Quantum Programming via Linear Homotopy Types,
talk at Quantum Information and Quantum Matter 2024,
NYU Abu Dhabi, 27-31 May 2024
Towards Quantum Programming via Linear Homotopy Types,
talk at Homotopy Type Theory and Computing – Classical and Quantum,
CQTS @ New York University Abu Dhabi, 19-21 April 2024
Topological Quantum Programming via Linear Homotopy Types
talk at: Homotopy Type Theory Electronic Seminar (01 Feb 2024)
Effective Quantum Certification via Linear Homotopy Types,
talk at Colloquium of the Topos Institute
Part I: 13 April 2023 [video: YT, slides:pdf]
Part II: 24 Aug 2023 [video:YT, slides:pdf]
Towards verified topological hardware-aware quantum programming
talk at CQTS & TII Workshop 2023, CQTS @ NYU Abu Dhabi, 24 Feb 2023
[slides:pdf]
Topological Quantum Programming in TED-K
talk at PlanQC 2022 33 (15 Sep 2022)
Quantum Data Types via Linear Homotopy Type Theory
talk at Workshop on Quantum Software @ QTML 2022, Naples, 12 Nov 2022
[slides: pdf]
Last revised on July 14, 2024 at 19:04:18. See the history of this page for a list of all contributions to it.