Quantinuum’s Post

View organization page for Quantinuum, graphic

28,971 followers

Congratulations to our Chief Scientist Prof Bob Coecke on receiving the LICS Test of Time Award! The Logic In Computer Science (IEEE-LICS) symposium awards this every year to a paper from 20 years ago that has had the greatest lasting impact. This is the first time that the test-of-time award has been given to a paper in #quantumcomputing. This year, they selected Prof Coecke and Prof Samson Abramsky’s 2004 paper “A categorical semantics of quantum protocols”, an iconic paper that is at the root of work we have done in ZX-calculus, Quantum Natural Language Processing (QNLP), quantum causality, and even cognition. It has had a broad impact, leading to the use of ZX-like graphical calculus and diagrammatic reasoning in many disciplines, from computer science to physics. ZX-calculus has flourished and is widely used in quantum computing today, for instance in quantum circuit optimization (including in our opensource developer toolkit TKET) and lattice surgery. It is described by many as having particularly useful characteristics for studying fundamental science. A paper co-authored by Peter Shor observed there’s a growing interest in ZX-calculus because it “can explicitly visualize properties of circuits and entanglement in an intuitive manner”. Recently, Carlo Rovelli expressed his hope that such “powerful conceptual and technical tools” can be used to translate quantum gravity problems into quantum computing problems. To quote the LICS committee: “This extraordinary paper has had a major impact on the development of quantum computation in the logic and computation community. It has led to new algebraic and diagrammatic ways of thinking about quantum computation and has stimulated research on quantum programming languages, calculi for reasoning about quantum computation, and lately even error correction.” We are immensely proud to have luminaries like Prof Coecke working with us as we work to shape the future. Congratulations Bob Coecke! LICS Test of Time Award: https://lnkd.in/e-jUMnNt Read “A categorical semantics of quantum protocols”: https://lnkd.in/eEKWPvi2  An introduction to ZX-calculus, tutorials and Python tools: https://zxcalculus.com/ #NaturalLanguageProcessing

  • No alternative text description for this image
Tony Uttley

Senior Business Executive

1mo

Congrats Bob Coecke and Ross Duncan. I know ZX is a game changer. And I also know it's a team effort...by a dream team. Well done!

Inspiring! Bob Coecke and his work on Category theory are a milestones in quantum computing theory.

Sean Braxton

Building the future one photon at a time.

1mo

Congrats!! Now let’s see what they can do with AI,NLP, and quantum computing, maybe use qubits as possible contextual references.

Niels Christian Nielsen

Chairman Of The Board at Unumed

1mo

Congrats to Bob Coecke. So well deserved. A paper that has changed science; is changing computing, and not least enhances the learning of children is truly deserving of the highest kudos.

Michał Włodarczyk

Procurement Specialist at Limatherm Components sp. z o.o.

1mo

Congratulations Bob Coecke! Well deserved. Not only is the ZX-calculus a fundamental tool by itself it also serves as a foundation for other types of ZX-like tools, such as ZW, ZXW and Zeta calculi.

Bob sr Coecke

Gepensioneerd bij Corelio

1mo

Congratulations my son. 👍👍👍

Congratulations!👏👏👏

Malak Trabelsi Loeb

International Business Law–Space Law –Tech Law – National Security Law & Tech Transfer–DeepTech & Space -Serial Entrepreneur -NATO SME -Tech Diplomacy 🇦🇪🇪🇺 🇧🇪

1mo

The one and only and amazing compatriote Bob Coecke 🎉🚀

Ben Van Aken

ServiceNow Certified Master Architect

1mo

Gefeliciteerd, Bob!

See more comments

To view or add a comment, sign in

Explore topics