Quantum computers promise dramatic advantages in processing speed over currently
available computer systems. Quantum computing offers great promise in a wide variety of …

While recent progress in quantum hardware open the door for significant speedup in certain
key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum …

Quantum calculi and formalisms are useful tools for ensuring security and computational
capabilities in blockchain and cryptography. They aid in designing and analysing new …

This paper summarises the results obtained by the author and his collaborators in a program
logic approach to the verification of quantum programs, including quantum Hoare logic …

The formal modeling and verification of aircraft takeoff is a challenge because it is a complex
safety-critical operation. The task of aircraft takeoff is distributed amongst various computer …

While the recent progress in quantum hardware opens the door for significant speedup in
cryptography as well as additional key areas (biology, chemistry, optimization, machine …

The novel field of quantum computation and quantum information has gathered significant
momentum in the last few years. It has the potential to radically impact the future of …

The development of quantum algorithms and protocols calls for adequate modelling and
verification techniques, which requires abstracting and focusing on the basic features of …

One important application of quantum process algebras is to formally verify quantum
communication protocols. With a suitable notion of behavioural equivalence and a decision …

A significant topic of contemporary cryptography research and standardization is the
development of public key crypto systems that resist attacks from quantum computers …