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.
Academic calendar
The academic calendar shows the deadlines and scheduled events that are relevant to students, teaching and technical-administrative staff of the University. Public holidays and University closures are also indicated. The academic year normally begins on 1 October each year and ends on 30 September of the following year.
Course calendar
The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..
| Period | From | To |
|---|---|---|
| I semestre | Oct 1, 2012 | Jan 31, 2013 |
| II semestre | Mar 4, 2013 | Jun 14, 2013 |
| Session | From | To |
|---|---|---|
| Sessione straordinaria | Feb 4, 2013 | Feb 28, 2013 |
| Sessione estiva | Jun 17, 2013 | Jul 31, 2013 |
| Sessione autunnale | Sep 2, 2013 | Sep 30, 2013 |
| Session | From | To |
|---|---|---|
| Sessione autunnale | Oct 16, 2012 | Oct 16, 2012 |
| Sessione straordinaria | Dec 10, 2012 | Dec 10, 2012 |
| Sessione invernale | Mar 19, 2013 | Mar 19, 2013 |
| Sessione estiva | Jul 22, 2013 | Jul 22, 2013 |
| Period | From | To |
|---|---|---|
| Festa di Ognissanti | Nov 1, 2012 | Nov 1, 2012 |
| Festa dell'Immacolata Concezione | Dec 8, 2012 | Dec 8, 2012 |
| Vacanze di Natale | Dec 21, 2012 | Jan 6, 2013 |
| Vacanze di Pasqua | Mar 29, 2013 | Apr 2, 2013 |
| Festa della Liberazione | Apr 25, 2013 | Apr 25, 2013 |
| Festa del Lavoro | May 1, 2013 | May 1, 2013 |
| Festa del Santo Patrono di Verona - San Zeno | May 21, 2013 | May 21, 2013 |
| Festa della Repubblica | Jun 2, 2013 | Jun 2, 2013 |
| Vacanze estive | Aug 9, 2013 | Aug 16, 2013 |
Exam calendar
Exam dates and rounds are managed by the relevant Science and Engineering Teaching and Student Services Unit.
To view all the exam sessions available, please use the Exam dashboard on ESSE3.
If you forgot your login details or have problems logging in, please contact the relevant IT HelpDesk, or check the login details recovery web page.
Should you have any doubts or questions, please check the Enrolment FAQs
Academic staff
alberto.benvegnu@univr.it
maurizio.boscaini@univr.it
Magazzini Laura
laura.magazzini@univr.it
045 8028525
francesca.mantese@univr.it
martina.menon@univr.it
Squassina Marco
marco.squassina@univr.it
+39 045 802 7913
simone.zuccher@univr.it
Study Plan
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 enrolment year.
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
1° Year
| Modules | Credits | TAF | SSD |
|---|
2° Year activated in the A.Y. 2013/2014
| Modules | Credits | TAF | SSD |
|---|
3° Year activated in the A.Y. 2014/2015
| Modules | Credits | TAF | SSD |
|---|
| 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.
Computer Programming with Laboratory (2012/2013)
Teaching code
4S02751
Credits
12
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
The teaching is organized as follows:
Teoria
Laboratorio
Learning outcomes
Module: theory.
-------
Introduction to informatics.
Study the principles of programming
Basic techniques for the analysis and solution of the problems
Introduction to the methods for the evaluation of correctness and efficiency of algorithms.
Module: laboratory.
-------
Knowledge of a programming language
Developing of projects of small or medium size.
Application of the techniques of algorithms evaluation.
Program
Module: theory.
-------
Introduction to Computing Science.
Part I - problems, algorithms and programs.
- Basics: problem, specifics, algorithm; abstract machine, compiler and interpreter; programming languages.
- Introduction to the programming language.
- Elementary programming: basic instructions and development of simple programs.
- Data types. The general concept of data type: characterization and data representation. Variables, expressions and assignment. Abstract Data Types.
- Primitive data types: characterization, usage and related problems.
- Program structure. Fundamental instructions.
- Sub-programs: structure, parameters and visibility.
- Structured data types. Arrays, pointers, strings and other data structures.
- Basics of objects.
- Dynamic data structures.
- Introduction to graphs and other subjects.
Part II - Analysis of Algorithms
- Correctness: termination, logic properties; methods for the correctness verification.
- Introduction to the complexity. Performance of algorithms. Evaluation of efficiency. Computational costs.
- Asymptotic estimation of the complexity in time and space. The worst and medium case.
- Amortized analysis.
- Static sequences: implementation and algorithms.
- Matrices and Vectors: implementation, operations and algorithms.
- Dynamic sequences: abstract definition and implementation; basic operations.
- Trees. Abstract definition and implementation. Basic operation. Binary research trees.
- Introduction to graphs.
The styles of programming.
Imperative Programming and basics of Object Oriented Programming
-------------------
Module: laboratory.
-------
In the laboratory we familiarize with the programming language developing projects based on the ideas presented in the lessons.
We study the fundamental elements of the language and we deal with the problems that arise in the development of the solution; in particular we acquire skill in editing, compiling, debugging and basic project management.
Bibliography
| Activity | Author | Title | Publishing house | Year | ISBN | Notes |
|---|---|---|---|---|---|---|
| Teoria | Bertossi, Alan e Montresor, Alberto | Algoritmi e strutture di dati (Edizione 3) | Città Studi Edizioni, De Agostini Scuola | 2014 | 978-8-825-17395-6 | |
| Teoria | Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein | Introduction to Algorithms (Edizione 3) | MIT Press | 2009 | 978-0-262-53305-8 | Testo di riferimento e consultazione |
| Teoria | Savitch, Walter e Carrano, Frank M. | Programmazione con Java (Edizione 1) | Pearson Prentice Hall Italia | 2010 | 9-788871-926148 |
Examination Methods
The exam is unique and consists in two parts:
- a first written test concerning the topics of the course and the laboratory activity.
- the final part (the admission is subject to the approval of the first one) consisting in general questions, exercises and a discussion on the examination paper, the lab activity.
The final written exam can be replaced by tests that take place during the teaching periods.
Type D and Type F activities
Modules not yet included
Career prospects
Module/Programme news
News for students
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.
Graduation
Attachments
| Title | Info File |
|---|---|
1. Come scrivere una tesi
|
31 KB, 29/07/21 |
|
2. How to write a thesis
|
31 KB, 29/07/21 |
|
5. Regolamento tesi (valido da luglio 2022)
|
171 KB, 17/02/22 |
List of theses and work experience proposals
| theses proposals | Research area |
|---|---|
| Formule di rappresentazione per gradienti generalizzati | Mathematics - Analysis |
| Formule di rappresentazione per gradienti generalizzati | Mathematics - Mathematics |
| Proposte Tesi A. Gnoatto | Various topics |
| Mathematics Bachelor and Master thesis titles | Various topics |
| THESIS_1: Sensors and Actuators for Applications in Micro-Robotics and Robotic Surgery | Various topics |
| THESIS_2: Force Feedback and Haptics in the Da Vinci Robot: study, analysis, and future perspectives | Various topics |
| THESIS_3: Cable-Driven Systems in the Da Vinci Robotic Tools: study, analysis and optimization | Various topics |
| Stage | Research area |
|---|---|
| Internship proposals for students in mathematics | Various topics |
Attendance
As stated in the Teaching Regulations for the A.Y. 2022/2023, except for specific practical or lab activities, attendance is not mandatory. Regarding these activities, please see the web page of each module for information on the number of hours that must be attended on-site.
Please refer to the Crisis Unit's latest updates for the mode of teaching.
