Schreiber QPL2024

a talk that I once gave, on a project at CQTS:

---

• Urs Schreiber:

  
  

  Topological Quantum Programming via Linear Homotopy Types

  
  

  presentation at

  Quantum Physics and Logic (QPL 2024)

  Buenes Aires, 15-19 July 2024

  
  

  on Quantum Certification via Linear Homotopy Types

  
  

  slides:

  • plain: pdf $\;\;\;\;$ (10 slides)

  • overlaid: pdf (view full screen)

  extended abstract:

  • qpl2024.dc.uba.ar/abstracts/13.pdf

---

Reporting on:

• The Quantum Monadology [arXiv:2310.15735]

• Topological Quantum Gates in HoTT [doi:10.1007/s00220-024-05020-8]

• Entanglement of Sections [arXiv:2309.07245]

• Quantum and Reality [arXiv:2311.11035]

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)

  [video:YT, script:web]

• 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)

  [slides:pdf, video: YT]

• Quantum Data Types via Linear Homotopy Type Theory

  talk at Workshop on Quantum Software @ QTML 2022, Naples, 12 Nov 2022

  [slides: pdf]