I’m a Leverhulme Early Career Fellow at the Department of Applied Mathematics and Theoretical Physics where I work on topics in Quantum Information and Computation. We are on the brink of a technological revolution where coherent control of quantum effects can be harnessed to present striking benefits for information processing, security and communication, beyond those that are realisable by any classical device, e.g. exponentially enhanced computing power and unconditionally secure communication. Moreover, it has recently emerged that quantum computers may lead to an astounding range of applications in the areas of machine learning and big data processing, allowing for more accurate and efficient neural networks.
However, these developments bring many challenges: it is notoriously difficult to characterize the computational power of limited-sized quantum devices that may soon become available and to design formal techniques to verify the correctness of their functioning in the ‘high complexity’ regime – at the scale where the existing classical tools cannot operate. My research aims to address these key aspects of the emerging quantum technology.