Detail

Quantum Computing, Quantum Communication and Quantum Cryptography

Quantum computing offers the possibility of efficient algorithms for
hard computational problems such as factorization, although practical
quantum computers are a long way in the future. Quantum cryptography
offers the possibility of secure communication even in the presence of
quantum computers; quantum cryptographic systems have been demonstrated
in practical situations and are commercially available. Other aspects of
quantum communication appear in the news from time to time, for example
teleportation of the quantum state of an atom.

In this talk I will introduce the concepts of quantum computing, quantum
communication and quantum cryptography. If time permits, I will outline
recent work on modelling and analyzing quantum systems using computer
science techniques such as process calculus, type theory, and
model-checking.