Quantum Formal Methods: From Languages to Verification

Supervisor
Rajagopal Nagarajan - Middlesex University London
Date and time
Wednesday, September 27, 2017 at 4:00 PM
Programme Director
Alessandra Di Pierro
External reference
Publication date
September 22, 2017
Department
Computer Science  

Summary

The novel field of quantum computation and quantum
information has gathered significant impetus in the last few
years, and it has the potential to radically impact the future of
information technology. While the successful construction of a
large-scale quantum computer may be some years away, 
equipment for quantum cryptography is commercially available
and a satellite has been launched by China to provide secure 
quantum communication. However, it is well known from experience 
with classical systems that it is notoriously difficult to achieve robust and
reliable implementations. Techniques based on
formal verification are now widely used by industry to ensure that
classical systems meet their specifications. In this talk, I
will introduce quantum programming/specification languages and give 
an overview of our ongoing work on formal methods for modelling and analysis of 
quantum protocols and, eventually, their implementations.





© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234