Formal verification of machine-learned quantum protocols and algorithms (ForMLQ)
Gay (Glasgow), Norman (Glasgow),
Rajagopal (Middlesex), Windridge (Middlesex), Parker (Oxford) (Inv 007)
A unified noise-aware compiler stack for NISQ
Heunen (Edinburgh), Grosser (Cambridge) (Inv 015)
Automated synthesis of robust quantum programs on limited resource hardware
McMinn (Sheffield), Clark (Sheffield), Hierons (Sheffield), Parry (Sheffield) (Inv 012)
Quantum error mitigation and quantum coding
Hanzo (Southampton), Browne (UCL), Cai (Oxford), Koczor (Oxford) (Inv 011)
Model-based monitoring and calibration of quantum computations
Mousavi (KCL), Bhaseen (KCL), Booth (KCL), Yoshida (Oxford) (Inv 009)
QUENCH: Quantum emulation with cloud heterogeneity
Luk (Imperial), Benjamin (Oxford), Kelly (Imperial) (Inv 008)
Scalable simulation of quantum computers on heterogeneous computing clusters
Barbalace (Edinburgh), Brown (Edinburgh), Garcia-Patron (Edinburgh), Mai (Edinburgh), Marina (Edinburgh), O’Boyle (Edinburgh), Shaikha (Edinburgh) (Inv 006)
Structure and symmetry in quantum verification
Strelchuk (Cambridge), Dawar (Cambridge), Gur (Cambridge), Melham (Oxford) (Inv 005)
Verified compiling in the presence of error
Kissinger (Oxford), Browne (UCL),
Linden (Bristol), Melham (Oxford) (Inv 004)
Feasibility of robust and reliable quantum computation for quantum field theories on NISQ devices
Chakraborty (Southampton), Koczor (Oxford), Malik (UCL), Cai (Oxford) (Inv 002)
