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.

Type D and Type F activities

Type D learning activities are the student's choice, type F activities are additional knowledge useful for job placement (internships, transversal skills, project works, etc.). According to the Teaching Regulations of the Course, some activities can be chosen and entered independently in the booklet, others must be approved by a special committee to verify their consistency with the study plan. Type D or F learning activities can be covered by the following activities.

1. Modules taught at the University of Verona

Include the modules listed below and/or in the Course Catalogue (which can also be filtered by language of delivery via Advanced Search).

Booklet entry mode: if the teaching is included among those listed below, the student can enter it independently during the period in which the curriculum is open; otherwise, the student must make a request to the Secretariat, sending the form to carriere.scienze@ateneo.univr.it during the period indicated.

2. CLA certificate or language equivalency

In addition to those required by the curriculum/study plan, the following are recognized for those matriculated from A.Y. 2021/2022:

  • English language: 3 CFUs are recognized for each level of proficiency above that required by the course of study (if not already recognized in the previous course of study).
  • Other languages and Italian for foreigners: 3 CFUs are recognized for each proficiency level starting from A2 (if not already recognized in the previous study cycle).

These CFUs will be recognized, up to a maximum of 6 CFUs in total, of type F if the study plan allows it or of type D. Additional elective credits for language knowledge may be recognized only if consistent with the student's educational project and if adequately justified.

Those enrolled until A.Y. 2020/2021 should consult the information found here.

Method of inclusion in the bookletrequest the certificate or equivalency from CLA and send it to the Student Secretariat - Careers for the inclusion of the exam in the career, by email: carriere.scienze@ateneo.univr.it

3. Transversal skills

Discover the training paths promoted by the University's TALC - Teaching and learning center intended for students regularly enrolled in the academic year of course delivery https://talc.univr.it/it/competenze-trasversali

Mode of inclusion in the booklet: the teaching is not expected to be included in the curriculum. Only upon obtaining the Open Badge will the booklet CFUs be automatically validated. The registration of CFUs in career is not instantaneous, but there will be some technical time to wait.  

4. Contamination lab

The Contamination Lab Verona (CLab Verona) is an experiential course with modules on innovation and enterprise culture that offers the opportunity to work in teams with students from all areas to solve challenges set by companies and organisations.  

Upon completion of a CLab, students will be entitled to receive 6 CFU (D- or F-type credits).  

Find out more:  https://www.univr.it/clabverona 

PLEASE NOTE: In order to be admitted to any teaching activities, including those of your choice, you must be enrolled in the academic year in which the activities in question are offered. Students who are about to graduate in the December and April sessions are therefore advised NOT to undertake extracurricular activities in the new academic year in which they are not enrolled, as these graduation sessions are valid for students enrolled in the previous academic year. Therefore, students who undertake an activity in an academic year in which they are not enrolled will not be granted CFU credits.  

5. Internship/internship period

In addition to the CFUs stipulated in the curriculum/study plan (check carefully what is indicated on the Teaching Regulationshere you can find information on how to activate the internship. 

Check the regulations to see which activities can be Type D and which can be Type F.

Please also note that for traineeships activated after 1 October 2024, it will be possible to recognise excess hours in terms of type D credits limited only to traineeship experiences carried out at host organisations outside the University.

Semester 1  From 10/1/24 To 1/31/25
years Modules TAF Teacher
2° 3° Attention Laboratory D Pietro Sala (Coordinator)
2° 3° Elements of Cosmology and General Relativity D Claudia Daffara (Coordinator)
2° 3° Introduction to quantum mechanics for quantum computing D Claudia Daffara (Coordinator)
2° 3° Introduction to smart contract programming for ethereum D Sara Migliorini (Coordinator)
2° 3° Python programming language [English edition] D Carlo Combi (Coordinator)
2° 3° BEYOND ARDUINO: FROM PROTOTYPE TO PRODUCT WITH STM MICROCONTROLLER D Franco Fummi (Coordinator)
2° 3° APP REACT PLANNING D Graziano Pravadelli (Coordinator)
2° 3° HW components design on FPGA D Franco Fummi (Coordinator)
Semester 2 From 3/3/25 To 6/13/25
years Modules TAF Teacher
2° 3° Attention Laboratory D Pietro Sala (Coordinator)
2° 3° LaTeX Language D Enrico Gregorio (Coordinator)
2° 3° Python programming language [Edizione in italiano] D Carlo Combi (Coordinator)
2° 3° Rapid prototyping on Arduino D Franco Fummi (Coordinator)
2° 3° Programming Challanges D Romeo Rizzi (Coordinator)
2° 3° Tools for development of applications of virtual reality and mixed D Andrea Giachetti (Coordinator)
2° 3° Development and life cycle of software of artificial intelligence software D Marco Cristani (Coordinator)
2° 3° Protection of intangible assets (SW and invention)between industrial law and copyright D Mila Dalla Preda (Coordinator)
List of courses with unassigned period
years Modules TAF Teacher
Subject requirements: mathematics D Franco Zivcovich (Coordinator)

Teaching code

4S00005

Credits

6

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Period

Semester 1  dal Oct 1, 2024 al Jan 31, 2025.

Courses Single

Authorized

Learning objectives

The course covers standard principles and methods in theoretical computer science, notably in automata theory and computability. The course aims at providing skills in theoretical computer science and programming languages. At the end of the course, the student will be able to understand advanced computer science notions; to apply the acquired capabilities and knowledge for problem solving in its field of study; to be able to develop necessary expertise for affording the following studies with a sufficient degree of autonomy.

Prerequisites and basic notions

Mathematical Analysis, Logic and Algebra, Programming and Algorithms and Data Structures.

Program

The course is structured in 2 parts. Automata and formal languages: Languages and grammars, finite state automata and regular languages, context-free languages, normal forms and pushdown automata, Chomsky classification (outline). Computability: Intuitive notion of algorithm, Formal models for calculus: Turing machines/recursive functions/While programs, Church's Thesis, Goedelization, Universality and smn Theorem, Soluble and non-soluble problems: termination problem, Metaprogramming: compilation, interpretation and specialization, Recursive sets and kings, Recursion Theorems and Rice's Theorem, Functional Reducibility: Complete, creative and productive sets.

Bibliography

Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Didactic methods

Frontal lessons and exercises.

Learning assessment procedures

Written exam in 4 sessions with intermediate test. The exam sessions are distributed as follows: 1 intermediate exam during the course, 2 exam sessions in the Extraordinary Session at the end of the course, 1 exam session in the Summer Session, 1 exam session in the Autumn Session. Each exam is divided into two parts that can be passed separately and the overall mark of the written test is given by the mathematical average of the evaluations out of 30 obtained in the two parts. The exam is considered passed if the average of the parts is greater than or equal to 18. Each assessment remains valid for the entire current academic year. Compulsory oral exam to obtain marks above 26, optional otherwise. That is, each vote is recorded without an oral test up to a maximum of 26. The objective of the written test is to ascertain the understanding of the contents and the ability to apply these contents in solving exercises in which it is mainly necessary to recognize and classify languages (regular or context-free) and sets (recursion and completeness) through the use of the formal demonstration tools provided during the course. The objective of the oral exam is to ascertain an advanced understanding of the contents which allows a critical analysis and a re-elaboration of the concepts and results studied, also by ascertaining the knowledge of theorems and proofs.

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

Evaluation criteria

Mathematical and IT correctness of the exercises performed

Criteria for the composition of the final grade

50% Part One and 50% Part Two

Exam language

Italiano