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.
Study Plan
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/2026The 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.
1° Year
Modules | Credits | TAF | SSD |
---|
2° Year activated in the A.Y. 2012/2013
Modules | Credits | TAF | SSD |
---|
Tre insegnamenti a scelta tra i seguenti
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Tre insegnamenti a scelta tra i seguenti
Modules | Credits | TAF | SSD |
---|
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.
Quantum computing (2012/2013)
Teaching code
4S01923
Academic staff
Coordinator
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