Media Summary: aboutlogic In this episode of aboutlogic, we're joined by , a senior scientist at New York University Abu Dhabi ... Topos Institute Colloquium, 24th of August 2023. (Re-uploaded due to a technical issue) ——— The intricacies of realistic ... Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the Topos Colloquium to complete ...

Urs Schreiber Topological Quantum Programming Via Linear Homotopy Types - Detailed Analysis & Overview

aboutlogic In this episode of aboutlogic, we're joined by , a senior scientist at New York University Abu Dhabi ... Topos Institute Colloquium, 24th of August 2023. (Re-uploaded due to a technical issue) ——— The intricacies of realistic ... Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the Topos Colloquium to complete ... This is the (pre-)recorded talk contribution to the workshop "PlanQC 2022" ( by lightning talk at "AI & Evolution Gathering" organized by Softmax @ The Royal Institution, London (22 May 2025) --- for details see: ... This talk was part of the Thematic Programme on "Higher Structures and Field Theory" held at the ESI August 1 to 26, 2022.

Photo Gallery

Urs Schreiber, Topological quantum programming via linear homotopy types
Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory | #12 aboutlogic
"Topological Quantum Gates from M-Theory", talk by Urs Schreiber at "M-Theory & Math 2023"
Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"
Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"
Urs Schreiber: Quantum Language via Linear Homotopy Types 1/4
Urs Schreiber: Quantum Language via Linear Homotopy Types 4/4
Topological Quantum Programming in TED-K -- talk at PlanQC2022
Urs Schreiber: Quantum Language via Linear Homotopy Types 3/4
Urs Schreiber: Rethinking Topological Quantum via Flux Quantization
Urs Schreiber - TED K-theory of Cohomotopy moduli spaces and Anyonic Topological Order
Urs Schreiber - Equivariant Super Homotopy Theory I
Sponsored
View Detailed Profile
Urs Schreiber, Topological quantum programming via linear homotopy types

Urs Schreiber, Topological quantum programming via linear homotopy types

Homotopy Type

Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory | #12 aboutlogic

Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory | #12 aboutlogic

aboutlogic #12 | In this episode of aboutlogic, we're joined by @UrsSchreiber, a senior scientist at New York University Abu Dhabi ...

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

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

details at: https://ncatlab.org/nlab/show/M-Theory+and+Mathematics#Schreiber2023.

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

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

Topos Institute Colloquium, 24th of August 2023. (Re-uploaded due to a technical issue) ——— The intricacies of realistic ...

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

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

Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the Topos Colloquium to complete ...

Sponsored
Urs Schreiber: Quantum Language via Linear Homotopy Types 1/4

Urs Schreiber: Quantum Language via Linear Homotopy Types 1/4

Mini-course given by

Urs Schreiber: Quantum Language via Linear Homotopy Types 4/4

Urs Schreiber: Quantum Language via Linear Homotopy Types 4/4

Mini-course given by

Topological Quantum Programming in TED-K -- talk at PlanQC2022

Topological Quantum Programming in TED-K -- talk at PlanQC2022

This is the (pre-)recorded talk contribution to the workshop "PlanQC 2022" (https://icfp22.sigplan.org/home/planqc-2022) by

Urs Schreiber: Quantum Language via Linear Homotopy Types 3/4

Urs Schreiber: Quantum Language via Linear Homotopy Types 3/4

Mini-course given by

Urs Schreiber: Rethinking Topological Quantum via Flux Quantization

Urs Schreiber: Rethinking Topological Quantum via Flux Quantization

lightning talk at "AI & Evolution Gathering" organized by Softmax @ The Royal Institution, London (22 May 2025) --- for details see: ...

Urs Schreiber - TED K-theory of Cohomotopy moduli spaces and Anyonic Topological Order

Urs Schreiber - TED K-theory of Cohomotopy moduli spaces and Anyonic Topological Order

This talk was part of the Thematic Programme on "Higher Structures and Field Theory" held at the ESI August 1 to 26, 2022.

Urs Schreiber - Equivariant Super Homotopy Theory I

Urs Schreiber - Equivariant Super Homotopy Theory I

Urs Schreiber's

"Complete Topological Quantization of Higher Gauge Fields -- Part 1", lecture by U. Schreiber @ ICMS

"Complete Topological Quantization of Higher Gauge Fields -- Part 1", lecture by U. Schreiber @ ICMS

for details see: https://ncatlab.org/