alan turing    algorithms    austin    california institute of technology    commuting operators    computational complexity    computer science    computing    connes embedding conjecture    entanglement    graph theory    halting problem    mathematics    matrices    mip    mip*    multi-prover interactive proofs    operator algebra    quantum computing    quantum information theory    tensor products    tsirelson’s problem    university of technology sydney    university of texas    university of toronto