Studying at the University of Verona

Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.

This information is intended exclusively for students already enrolled in this course.
If you are a new student interested in enrolling, you can find information about the course of study on the course page:

Laurea magistrale in Ingegneria e scienze informatiche - Enrollment from 2025/2026

The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.

CURRICULUM TIPO:

1° Year 

ModulesCreditsTAFSSD
12
B
ING-INF/05
12
B
ING-INF/05

2° Year   activated in the A.Y. 2012/2013

ModulesCreditsTAFSSD
Altre attivita' formative
4
F
-
ModulesCreditsTAFSSD
12
B
ING-INF/05
12
B
ING-INF/05
Modules Credits TAF SSD
Between the years: 1°- 2°

Legend | Type of training activity (TTA)

TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.




S Placements in companies, public or private institutions and professional associations

Teaching code

4S01923

Credits

6

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Period

I semestre dal Oct 1, 2012 al Jan 31, 2013.

Learning outcomes

This course introduces the basic ideas, the techniques and the main results that have been achieved so far in quantum computing.
The interdisciplinary nature of this subject makes it necessary some physical and mathematical background. This will be offered in a preliminary part of the course so as to make it available also to non-expert attendants. The main part of the course will be focused on the study of quantum computability and complexity and the development of quantum algorithms. Some of the problematics related to quantum programming languages will be discussed. The course will also provide an introduction to quantum cryptography with the discussion of some quantum protocols for key distribution.

Program

Background

- Principles of Quantum Mechanics (Prof. Monti)
- Complex vector spaces


Quantum Computing

- Circuit Model
- Quantum Turing Machine
- The Quantum Fourier Transform and its Applications
-- Phase Estimation
-- Order Finding
-- Factoring
-Search Algorithms

Introduction to Quantum Cryptography
Introduction to Quantum Programming Languages

Examination Methods

Written and oral exam

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE