New programming paradigms


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

Related master programs