Bespoke asset creation based on world-class expertise
The UK landscape in quantum computing largely focuses on hardware development. Our roots in Computer Science make us unique in the UK ecosystem; we are the leading node for Software and Applications. We are the largest quantum software group in UK (53 researchers). Operating at the hardware-software interface our approach:
Algorithms and Applications
Error Analysis and Verification
Dr Arapinis' research focuses on logical foundations for the automatic analysis of up-to-date electronic systems with respect to users’ security and privacy. Her work in the area of formal analysis of security is articulated around three axes: modelling protocols and their properties, developing tools and reduction results for the automatic verification of cryptographic protocols and applying the developed tools and theories to real-life systems.