COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Quantum Software in 2021: Patterns and Problems
Quantum Software in 2021: Patterns and ProblemsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Jamie Vicary. Quantum computers are based the laws of quantum mechanics rather than Boolean logic; this implies very different algorithmic capabilities and, perhaps more surprisingly, very different issues across the board from software architecture to formal methods. In this talk I’ll give a broad overview of the current state of the art in 2021 and focus on some issues of current interest/terror. COVID information. The room will be well-ventilated and the audience well-spaced. Participants are expected to have taken a recent lateral flow test before attending. Masks may of course be worn by any participant if they desire; N95 masks are cheap and readily available, and protect the wearer as well as others. Any participant also has the right to request that everybody in the room wears as mask; such a request can be made at the time of the talk, or if the requester prefers to stay anonymous, by email to the organizer in advance. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCambridge University Self-Build Society Finance - Centre for Financial Research Cambridge Humanities ReviewOther talksHeavy mice and lighter things: developing models of extracellular matrix in health and ageing The Geometric SMEFT description of curved Higgs Field Space(s) - Michael Trott Priming the Immune System to Provoke Checkpoints: The Path to Maintaining the Immunotherapy Momentum A V Hill Lecture - The Rewarded Brain Understanding DNA Replication with Nanopore Sequencing, Deep Learning, and Mathematical Modelling Linear stability of disk galaxies |