Studying at the University of Verona

A.A. 2019/2020

Academic calendar

Il calendario accademico riporta le scadenze, gli adempimenti e i periodi rilevanti per la componente studentesca, personale docente e personale dell'Università. Sono inoltre indicate le festività e le chiusure ufficiali dell'Ateneo.
L’anno accademico inizia il 1° ottobre e termina il 30 settembre dell'anno successivo.

Academic calendar

Course calendar

The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates. .

Definition of lesson periods
Period From To
I semestre Oct 1, 2019 Jan 31, 2020
II semestre Mar 2, 2020 Jun 12, 2020
Exam sessions
Session From To
Sessione invernale d'esame Feb 3, 2020 Feb 28, 2020
Sessione estiva d'esame Jun 15, 2020 Jul 31, 2020
Sessione autunnale d'esame Sep 1, 2020 Sep 30, 2020
Degree sessions
Session From To
Sessione estiva di laurea Jul 22, 2020 Jul 22, 2020
Sessione autunnale di laurea Oct 14, 2020 Oct 14, 2020
Sessione autunnale di laurea solo triennale Dec 10, 2020 Dec 10, 2020
Sessione invernale di laurea Mar 16, 2021 Mar 16, 2021
Holidays
Period From To
Festa di Ognissanti Nov 1, 2019 Nov 1, 2019
Festa dell'Immacolata Dec 8, 2019 Dec 8, 2019
Vacanze di Natale Dec 23, 2019 Jan 6, 2020
Vacanze di Pasqua Apr 10, 2020 Apr 14, 2020
Festa della Liberazione Apr 25, 2020 Apr 25, 2020
Festa del lavoro May 1, 2020 May 1, 2020
Festa del Santo Patrono May 21, 2020 May 21, 2020
Festa della Repubblica Jun 2, 2020 Jun 2, 2020
Vacanze estive Aug 10, 2020 Aug 23, 2020

Exam calendar

The exam roll calls are centrally administered by the operational unit   Science and Engineering Teaching and Student Services Unit
Exam Session Calendar and Roll call enrolment   sistema ESSE3 . If you forget your password to the online services, please contact the technical office in your Faculty or to the service credential recovery .

Exam calendar

Per dubbi o domande Read the answers to the more serious and frequent questions - F.A.Q. Examination enrolment

Academic staff

A B C D F G L M O P R S Z

Albi Giacomo

giacomo.albi@univr.it +39 045 802 7913

Angeleri Lidia

lidia.angeleri@univr.it 045 802 7911

Baldo Sisto

sisto.baldo@univr.it 045 802 7935

Bos Leonard Peter

leonardpeter.bos@univr.it +39 045 802 7987

Boscaini Maurizio

maurizio.boscaini@univr.it

Busato Federico

federico.busato@univr.it

Caliari Marco

marco.caliari@univr.it +39 045 802 7904

Canevari Giacomo

giacomo.canevari@univr.it +39 045 8027979

Chignola Roberto

roberto.chignola@univr.it 045 802 7953

Daffara Claudia

claudia.daffara@univr.it +39 045 802 7942

Dai Pra Paolo

paolo.daipra@univr.it +39 0458027093

Daldosso Nicola

nicola.daldosso@univr.it +39 045 8027076 - 7828 (laboratorio)

De Sinopoli Francesco

francesco.desinopoli@univr.it 045 842 5450

Di Persio Luca

luca.dipersio@univr.it +39 045 802 7968

Fioroni Tamara

tamara.fioroni@univr.it 0458028489

Gnoatto Alessandro

alessandro.gnoatto@univr.it 045 802 8537

Gregorio Enrico

Enrico.Gregorio@univr.it 045 802 7937

Liptak Zsuzsanna

zsuzsanna.liptak@univr.it +39 045 802 7032

Magazzini Laura

laura.magazzini@univr.it 045 8028525

Mantese Francesca

francesca.mantese@univr.it +39 045 802 7978

Mariotto Gino

gino.mariotto@univr.it +39 045 8027031

Mazzuoccolo Giuseppe

giuseppe.mazzuoccolo@univr.it +39 0458027838

Migliorini Sara

sara.migliorini@univr.it +39 045 802 7908

Monti Francesca

francesca.monti@univr.it 045 802 7910

Orlandi Giandomenico

giandomenico.orlandi at univr.it 045 802 7986

Piccinelli Fabio

fabio.piccinelli@univr.it +39 045 802 7097

Rizzi Romeo

romeo.rizzi@univr.it +39 045 8027088

Sansonetto Nicola

nicola.sansonetto@univr.it 049-8027932

Schuster Peter Michael

peter.schuster@univr.it +39 045 802 7029

Solitro Ugo

ugo.solitro@univr.it +39 045 802 7977

Zuccher Simone

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.

CURRICULUM TIPO:
TeachingsCreditsTAFSSD
6
B
(MAT/03)
6
A
(MAT/02)
6
C
(SECS-P/01)
6
C
(SECS-P/01)
English B1
6
E
-
TeachingsCreditsTAFSSD
6
C
(SECS-P/05)
9
C
(SECS-S/06)
Final exam
6
E
-

2° Anno

TeachingsCreditsTAFSSD
6
B
(MAT/03)
6
A
(MAT/02)
6
C
(SECS-P/01)
6
C
(SECS-P/01)
English B1
6
E
-

3° Anno

TeachingsCreditsTAFSSD
6
C
(SECS-P/05)
9
C
(SECS-S/06)
Final exam
6
E
-
Teachings Credits TAF SSD
Between the years: 1°- 2°- 3°
Between the years: 1°- 2°- 3°
Other activitites
6
F
-

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.




SPlacements in companies, public or private institutions and professional associations

Teaching code

4S02751

Credits

12

Coordinatore

Ugo Solitro

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Language of instruction

Italian

The teaching is organized as follows:

Teoria

Credits

9

Period

II semestre, I semestre

Academic staff

Ugo Solitro

Laboratorio

Credits

3

Period

II semestre, I semestre

Academic staff

Luca Marchetti

Learning outcomes

This course proposes providing the fundamentals skills in order to analyze and resolve problems by means of developing programs. The general objectives of this module are - the knowledge of the principles of programming and of programming languages, - the mastery of fundamental techniques for analyzing problems and developing their algorithmic solutions, - the introduction to the methods for the evaluation of correctness and efficiency of algorithms. In the laboratory, we will practice the above principles by means of a programming activity.

Program

CONTENTS

INTRODUCTION

- Problems and Solutions.
- Models of Computations: abstract machine, compiler and interpreter.
- Programming languages: formal languages, compiler, interpreter.
- Laboratory: introduction to linux and to the developing environment.

PART I - Problems, algorithms and programs.

- Imperative programming
- Elementary of programming: basic instructions and development of simple programs; variables, expressions and assignment.
- Data types. The general concept of data type: characterisation and data representation. Abstract Data Types.
- Primitive data types: characterisation, use and related problems.
- Structured data types: array, record, file, pointer, string and other data structures.
- Program structure. Fundamental instructions. Sub-programs: structure, parameters and visibility. Recursion.
- Object Oriented Programming.
- Basics of objects: classes, objects, attributes, constructors, modifiers.
- Advanced data structures: representation of sequences, vector and matrices; inductive and dynamic data structures; introduction to lists, trees and graphs.

PART II - Analysis of Algorithms

- Correctness: termination, logic properties; methods for the correctness verification.
- Efficiency of algorithms.
- 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.
- Amortised analysis.
- Study of fundamental examples.
- Sequences: static and dynamic implementation and algorithms.
- Research and Sorting Algorithms: basic search, binary search, insertion and selection sort, merge sort, quick sort.
- 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 algorithms on graphs.

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.

Didactic method (concise version)

The subjects will be presented, when possible, according to the following schema.

- Introduction to the subject.
- Analysis of the problem related.
- In-depth study of the subject through the development of exercises, even practical, with the support of the teacher and tutors, if available.
- Correction of some exercises.
- Final discussion on the activities.

Examination Methods

The final exam consists of a written test, a practical test and a final oral exam.

The written and practical test can be partially replaced by ongoing test.

Bibliografia

Reference texts
Activity Author Title Publishing house Year ISBN Notes
Teoria Alan A. Bertossi e Alberto Montresor Algoritmi e Strutture Dati (Edizione 3) CittàStudi 2014 8825173954 Testo di riferimento per li algoritmi e le strutture dati
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 consultazione disponibile in biblioteca.
Teoria Walter Savitch Programmazione con Java (seconda edizione) (Edizione 2) Pearson 2013 9788871929613 Testo di riferimento per il linguaggio Java
Teoria Walter Savitch Programmazione di base e avanzata con Java (Edizione 2) Pearson 2018 978-8-891-90457-7 Testo di riferimento (alternativo) per il linguaggio Java
Laboratorio Walter Savitch Programmazione di base e avanzata con Java (Edizione 2) Pearson 2018 978-8-891-90457-7

Tipologia di Attività formativa D e F

Academic year
I semestre From 10/1/19 To 1/31/20
years Teachings TAF Teacher
1° 2° 3° Python programming language D Maurizio Boscaini (Coordinatore)
1° 2° 3° SageMath F Zsuzsanna Liptak (Coordinatore)
1° 2° 3° History of Modern Physics 2 D Francesca Monti (Coordinatore)
1° 2° 3° History and Didactics of Geology D Guido Gonzato (Coordinatore)
II semestre From 3/2/20 To 6/12/20
years Teachings TAF Teacher
1° 2° 3° C Programming Language D Sara Migliorini (Coordinatore)
1° 2° 3° C++ Programming Language D Federico Busato (Coordinatore)
1° 2° 3° LaTeX Language D Enrico Gregorio (Coordinatore)
List of courses with unassigned period
years Teachings TAF Teacher
1° 2° 3° Corso Europrogettazione D Not yet assigned
1° 2° 3° Corso online ARPM bootcamp F Not yet assigned
1° 2° 3° ECMI modelling week F Not yet assigned
1° 2° 3° ESA Summer of code in space (SOCIS) F Not yet assigned
1° 2° 3° Google summer of code (GSOC) F Not yet assigned

Career prospects


Avvisi degli insegnamenti e del corso di studio

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA.

Graduation

Allegati

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
Mathematics Bachelor and Master thesis titles Various topics
Stage Research area
Internship proposals for students in mathematics Various topics

University Language Centre - CLA

Allegati


Tutorato per gli studenti

I docenti dei singoli Corsi di Studio erogano un servizio di tutorato volto a orientare e assistere gli studenti del triennio, in particolare le matricole, per renderli partecipi dell’intero processo formativo, con l’obiettivo di prevenire la dispersione e il ritardo negli studi, oltre che promuovere una proficua partecipazione attiva alla vita universitaria in tutte le sue forme.

TUTORATO PER GLI STUDENTI DELL’AREA DI SCIENZE E INGEGNERIA
Tutorato finalizzato a offrire loro un’attività di orientamento che possa essere di supporto per gli aspetti organizzativi e amministrativi della vita universitaria.
Le tutor attualemente di riferimento sono:
  • Dott.ssa Luana Uda, luana.uda@univr.it
  • Dott.ssa Roberta RIgaglia, roberta.rigaglia@univr.it

Tirocini e stage

Le attività di stage sono finalizzate a far acquisire allo studente una conoscenza diretta in settori di particolare attività per l’inserimento nel mondo del lavoro e per l’acquisizione di abilità specifiche di interesse professionale.
Le attività di stage sono svolte sotto la diretta responsabilità di un singolo docente presso studi professionali, enti della pubblica amministrazione, aziende accreditate dall’Ateneo veronese.
I crediti maturati in seguito ad attività di stage saranno attribuiti secondo quanto disposto nel dettaglio dal “Regolamento d’Ateneo per il riconoscimento dei crediti maturati negli stage universitari” vigente.

Tutte le informazioni in merito agli stage sono reperibili al link https://www.univr.it/it/i-nostri-servizi/stage-e-tirocini.