By overcoming the limitations of classical models, Quantum computing enables, for example, the development of efficient algorithms for problems considered intractable in the classical sense, such as the factorisation of large natural numbers. At the same time, it calls into question many current cryptographic techniques, including RSA-based public-key cryptography, making it necessary to move towards solutions resistant to quantum attacks. On the other hand, it also enables the design of inherently secure protocols, such as those for the distribution of cryptographic keys.
DISI focuses in particular on the design and compilation of programming languages for quantum computing, the development of verification techniques for quantum programmes, the applications of quantum computing to machine learning, and the use of quantum computing in discrete optimisation. Furthermore, DISI explores the more engineering-oriented aspects of quantum computing and quantum networking. In particular, it studies the integration of quantum networks with classical network infrastructures, the development of hybrid architectures, and the management of communication between heterogeneous nodes. Specific attention is paid to the distribution of computation across multiple quantum nodes and to remote access to quantum computing resources, including quantum cloud and quantum edge models. In this context, solutions are investigated to realise ‘Quantum and Continuum Computing’, in which distributed resources, from edge nodes to centralised systems, cooperate to enable new models of distributed computing and advanced services based on quantum technologies.
