Quantum computation models and programming

Point of contact

Summary

Even though a real quantum processor is not there yet, there are already algorithms and programming languages dedicated to quantum computing, as well as proposals for verifying their properties.

Similarly, massively distributed applications among untrusted actors (blockchains and smart contracts) pose interesting problems in terms of verification.

A few references

Master program related to this subject