Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"

Urs Schreiber, Topological quantum programming via linear homotopy typesSee more

Urs Schreiber: Cyclic loop spaces via higher topos theory in high energy physicsSee more

Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"See more

"Topological Quantum Gates from M-Theory", talk by Urs Schreiber at "M-Theory & Math 2023"See more

Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"See more

Knots for quantum computation from defect branes - Urs SchreiberSee more

Urs SCHREIBER - Synthetic prequantum field theory in a cohesive homotopy toposSee more

"Extended defect TQFTs", talk by Nils Carqueville at "QFT & Cobordism", CQTS @ NYU Abu DhabiSee more

2023PawseyInternJMillerSee more

"Topological Quantum Gates in HoTT", talk by Urs Schreiber at "QFT and Cobordism",CQTS@NYU Abu DhabiSee more