University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Quantum Software in 2021: Patterns and Problems

Quantum Software in 2021: Patterns and Problems

Add 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2021 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity