ABOUT
Quantum Software Lab
workshop, December 2022
This is the first working group of the recently awarded EPSRC strategy package of Quantum Advantage Pathfinder project that will form the basis of the future Quantum software lab to be launched in 2023 in collaboration with National Quantum Computing Centre (NQCC). The project mission is to turn industry pain points into quantum research problems, through a systematic Specification of desired mathematical properties, to guide the Design of necessary algorithmic modules, with their Implementation on hardware accompanied by performance Benchmarking, to enable researchers to investigate the enhancements necessary for current or future hardware/software platforms in a certifiable and verifiable way.
Speakers
Internal Speakers
-
James Mills
-
Jonas Landman
-
Marine Demarty
-
Nesta van der Schaaf
-
Robert Booth
-
Matthew Di Meglio
-
Ioannis Kolotouros
-
Debasis Sadhukhan
-
Sean Adamson
-
Michael Oliveira
-
Milos Prokop
-
Dominik Leichtle
-
Leo Monbroussou
-
Robin Kaarsgaard
-
Mina Doosti
External Speakers
-
Professor Sir Peter Knight (chair of the National Quantum Technologies Programme)
-
Simon Plant (NQCC Deputy Director for Innovation)
-
Liam Blackwell (EPSRC Deputy Director for Cross Council Programmes)
-
Yixin Shen (Information Security Group at Royal Holloway, University of London)
-
Farid Shahandeh (Department of Computer Science at Royal Holloway, University of London)
-
Balint Koczor (Department of Materials, University of Oxford)
-
Marcel De Sena (Department of Computer Science, University of Warwick)
-
Konstantinos Georgopoulos (NQCC)
-
Alessandro Luongo (Centre for Quantum Technologies Singapore)
-
Luka Music (Quandela)
Work Package Leaders
Elham Kashefi
Petros Wallden
Myrto Arapinis
Chris Heunen
Raúl García-Patrón Sánchez
Oliver Brown
Schedule
13 Dec
9:00 - 9:30
Welcome & Coffee
9:30 - 10:15
14 Dec
10:00 - 11:00
Dominik Leichtle
Verification with states in a single plane
Robin Kaarsgaard
Quantum Information Effects
Leo Monbroussou
Particule Preserving Encoding and Quantum Neural Networks
Opening speeches
Jane Hillston - Head of School of Informatics
Liam Blackwell - EPSRC Deputy Director for Cross Council Programmes
Simon Plant - NQCC Deputy Director for Innovation
Elham Kashefi - NQCC Chief Scientists
10:15 - 11:00
QAP presentation of Work Packages
Craig Skeldon
Olivier Brown
Chris Heunen
Myrto Arapinis
Raul Garcia-Patron Sanchez
Petros Wallden
11:00 - 12:00
Jonas Landman
Near-term Quantum Machine Learning
James Mills
Simplification by parallelism
Marine Demarty
Quantum Advantage Benchmarking - An Entropic Analysis
12:00 - 13:30
Lunch
13:30 - 14:30
Sean Adamson
Parallel remote state preparation for fully device-independent verifiable blind quantum computation
Milos Prokop
Near-term quantum attacks on lattice-based cryptography
Michael Oliveira
Quantum advantage in temporally flat measurement-based quantum computation
14:30 - 15:00
Coffee break
15:00 - 16:00
Debasis Sadhukhan
Simulation of Long-Range Many-Body Systems in the NISQ Era
Ioannis Kolotouros
New and improved methods for NISQ compatible quantum algorithms
Luka Music
Streamlining Protocol Design for Secure Delegated Quantum Computation
16:00 - 16:30
Coffee break
11:00 - 11:30
Coffee break
11:30 - 12:30
Yixin Shen
Finding many collisions via quantum walks
Alessandro Luongo
Quantum algorithms for finance
12:30 - 14:30
Lunch
14:30 - 15:30
Farid Shahandeh
Contextuality in Computations
Balint Koczor
Will (near-term) quantum computers deliver real advantage?
Marcel De Sena
Complexity separations in sublinear quantum computation
15:30 - 16:30
Coffee break
16:30 - 18:00
Konstantinos Georgopoulos (NQCC)
Working on the Early Stages of Quantum Computing within the NQCC
Mina Doosti
Quantum unclonability beyond no-cloning, and some new perspective into quantum cryptanalysis
18:00 - 18:30
Closing Remarks by
Professor Sir Peter Knight - Chair of the National Quantum Technologies Programme
16:30 - 17:30
Nesta Van Der Schaaf
Abstract axioms for Hilbert spaces and linear contractions
Matthew Di Meglio
A category theoretic approach to quantum computing
Robert Booth
Diagrammatic methods for distributed quantum computation and beyond