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.

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, 2013 Jan 31, 2014
II semestre Mar 3, 2014 Jun 13, 2014
Exam sessions
Session From To
Sessione straordinaria Feb 3, 2014 Feb 28, 2014
Sessione estiva Jun 16, 2014 Jul 31, 2014
Sessione autunnale Sep 1, 2014 Sep 30, 2014
Degree sessions
Session From To
Sessione autunnale Oct 16, 2013 Oct 16, 2013
Sessione straordinaria Dec 10, 2013 Dec 10, 2013
Sessione invernale Mar 19, 2014 Mar 19, 2014
Sessione estiva Jul 14, 2014 Jul 14, 2014
Holidays
Period From To
Vacanze Natalizie Dec 22, 2013 Jan 6, 2014
Vacanze di Pasqua Apr 17, 2014 Apr 22, 2014
Festa del S. Patrono S. Zeno May 21, 2014 May 21, 2014
Vacanze Estive Aug 11, 2014 Aug 15, 2014

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.

Exam calendar

Should you have any doubts or questions, please check the Enrollment FAQs

Academic staff

B C D F G L M O P Q S U

Belussi Alberto

symbol email alberto.belussi@univr.it symbol phone-number +39 045 802 7980
BertelleRoberto

Bertelle Roberto

Bombieri Nicola

symbol email nicola.bombieri@univr.it symbol phone-number +39 045 802 7094

Bonnici Vincenzo

symbol email vincenzo.bonnici@univr.it symbol phone-number +39 045 802 7045

Boscaini Maurizio

symbol email maurizio.boscaini@univr.it

Carra Damiano

symbol email damiano.carra@univr.it symbol phone-number +39 045 802 7059

Combi Carlo

symbol email carlo.combi@univr.it symbol phone-number +390458027985

Cristani Matteo

symbol email matteo.cristani@univr.it symbol phone-number 045 802 7983

Daffara Claudia

symbol email claudia.daffara@univr.it symbol phone-number +39 045 802 7942

Di Pierro Alessandra

symbol email alessandra.dipierro@univr.it symbol phone-number +39 045 802 7971

Drago Nicola

symbol email nicola.drago@univr.it symbol phone-number 045 802 7081

Fiorini Paolo

symbol email paolo.fiorini@univr.it symbol phone-number 045 802 7963

Fummi Franco

symbol email franco.fummi@univr.it symbol phone-number 045 802 7994

Giachetti Andrea

symbol email andrea.giachetti@univr.it symbol phone-number +39 045 8027998

Giacobazzi Roberto

symbol email roberto.giacobazzi@univr.it symbol phone-number +39 045 802 7995

Gobbi Bruno

symbol email bruno.gobbi@univr.it

Gregorio Enrico

symbol email Enrico.Gregorio@univr.it symbol phone-number 045 802 7937

Lora Michele

symbol email michele.lora@univr.it symbol phone-number 0458027847

Marzola Pasquina

symbol email pasquina.marzola@univr.it symbol phone-number 045 802 7816 (ufficio); 045 802 7614 (laboratorio)

Mastroeni Isabella

symbol email isabella.mastroeni@univr.it symbol phone-number +390458027089

Menegaz Gloria

symbol email gloria.menegaz@univr.it symbol phone-number +39 045 802 7024

Oliboni Barbara

symbol email barbara.oliboni@univr.it symbol phone-number +39 045 802 7077

Posenato Roberto

symbol email roberto.posenato@univr.it symbol phone-number +39 045 802 7967

Pravadelli Graziano

symbol email graziano.pravadelli@univr.it symbol phone-number +39 045 802 7081

Quaglia Davide

symbol email davide.quaglia@univr.it symbol phone-number +39 045 802 7811

Segala Roberto

symbol email roberto.segala@univr.it symbol phone-number 045 802 7997

Setti Francesco

symbol email francesco.setti@univr.it symbol phone-number +39 045 802 7804

Spoto Nicola Fausto

symbol email fausto.spoto@univr.it symbol phone-number +39 045 8027940
UgoliniSimone

Ugolini Simone

symbol email simone.ugolini@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 enrollment year.

2° Year  activated in the A.Y. 2014/2015

ModulesCreditsTAFSSD
12
B
INF/01
6
C
FIS/01
Un insegnamento a scelta tra i seguenti
6
B
ING-INF/05
12
B
ING-INF/05

3° Year  activated in the A.Y. 2015/2016

ModulesCreditsTAFSSD
12
B
ING-INF/05
Un insegnamento a scelta tra i seguenti
Prova finale
6
E
-
activated in the A.Y. 2014/2015
ModulesCreditsTAFSSD
12
B
INF/01
6
C
FIS/01
Un insegnamento a scelta tra i seguenti
6
B
ING-INF/05
12
B
ING-INF/05
activated in the A.Y. 2015/2016
ModulesCreditsTAFSSD
12
B
ING-INF/05
Un insegnamento a scelta tra i seguenti
Prova finale
6
E
-

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

4S02726

Credits

6

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Period

II semestre dal Mar 1, 2016 al Jun 10, 2016.

To show the organization of the course that includes this module, follow this link:  Course organization

Learning outcomes

The students will learn the basic notions and techniques at the base of the theory and practice of compiler construction for programming languages. The course aims to provide the students with
- the necessary competences for designing and implementing simple compilers,
- the skills for a competent usage of tools for lexical and syntactical analysis,
- the knowledge of the theoretical notions at the base of the various compilation phases.

Program

* Introduction to the course and to the compilers technology
* Lexical analysis
* Syntactical analysis and language classes
* Abstract syntax
* Semantical analysis (type-checking)
* Intermediate bytecode
* Intermediate bytecode generation

Reference texts
Author Title Publishing house Year ISBN Notes
Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman Compilers: Principles, Techniques, and Tools (2nd Edition) Pearson 2007 9780321486813
Torben Aegidius Mogensen Introduction to Compiler Design Springer 2011 978-0857298287

Examination Methods

The exam consists in a group project with a final individual discussion.

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

Teaching materials e documents

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

For schedules, administrative requirements and notices on graduation sessions, please refer to the Graduation Sessions - Science and Engineering service.

List of theses and work experience proposals

theses proposals Research area
Analisi e percezione dei segnali biometrici per l'interazione con robot AI, Robotics & Automatic Control - AI, Robotics & Automatic Control
Integrazione del simulatore del robot Nao con Oculus Rift AI, Robotics & Automatic Control - AI, Robotics & Automatic Control
Domain Adaptation Computer Science and Informatics: Informatics and information systems, computer science, scientific computing, intelligent systems - Computer graphics, computer vision, multi media, computer games
Domain Adaptation Computer Science and Informatics: Informatics and information systems, computer science, scientific computing, intelligent systems - Machine learning, statistical data processing and applications using signal processing (e.g. speech, image, video)
BS or MS theses in automated reasoning Computing Methodologies - ARTIFICIAL INTELLIGENCE
Domain Adaptation Computing Methodologies - IMAGE PROCESSING AND COMPUTER VISION
Domain Adaptation Computing methodologies - Machine learning
Dati geografici Information Systems - INFORMATION SYSTEMS APPLICATIONS
Analisi e percezione dei segnali biometrici per l'interazione con robot Robotics - Robotics
Integrazione del simulatore del robot Nao con Oculus Rift Robotics - Robotics
BS or MS theses in automated reasoning Theory of computation - Logic
BS or MS theses in automated reasoning Theory of computation - Semantics and reasoning
Proposte di tesi/collaborazione/stage in Intelligenza Artificiale Applicata Various topics
Proposte di Tesi/Stage/Progetto nell'ambito dell'analisi dei dati Various topics

Attendance

As stated in the Teaching Regulations for the A.Y. 2022/2023, attendance at the course of study is not mandatory.
 


Career management


Student login and resources


Erasmus+ and other experiences abroad