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
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 Artificial Intelligence - Enrollment from 2025/2026Type 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 booklet: request 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 Regulations) here you can find information on how to activate the internship.
Check in the regulations 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.
years | Modules | TAF | Teacher |
---|---|---|---|
1° 2° | Elements of Cosmology and General Relativity | D |
Claudia Daffara
(Coordinator)
|
1° 2° | Introduction to quantum mechanics for quantum computing | D |
Claudia Daffara
(Coordinator)
|
1° 2° | Introduction to smart contract programming for ethereum | D |
Sara Migliorini
(Coordinator)
|
1° 2° | Python programming language [English edition] | D |
Carlo Combi
(Coordinator)
|
1° 2° | Mini-course on Deep Learning & Medical Imaging | D |
Vittorio Murino
(Coordinator)
|
1° 2° | BEYOND ARDUINO: FROM PROTOTYPE TO PRODUCT WITH STM MICROCONTROLLER | D |
Franco Fummi
(Coordinator)
|
1° 2° | APP REACT PLANNING | D |
Graziano Pravadelli
(Coordinator)
|
1° 2° | HW components design on FPGA | D |
Franco Fummi
(Coordinator)
|
years | Modules | TAF | Teacher |
---|---|---|---|
1° 2° | LaTeX Language | D |
Enrico Gregorio
(Coordinator)
|
1° 2° | Python programming language [Edizione in italiano] | D |
Carlo Combi
(Coordinator)
|
1° 2° | Rapid prototyping on Arduino | D |
Franco Fummi
(Coordinator)
|
1° 2° | Programming Challanges | D |
Romeo Rizzi
(Coordinator)
|
1° 2° | Protection of intangible assets (SW and invention)between industrial law and copyright | D |
Mila Dalla Preda
(Coordinator)
|
Reinforcement learning and Advanced programming for AI (2024/2025)
Teaching code
4S010675
Credits
12
Language
English
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Courses Single
Authorized
The teaching is organized as follows:
Advanced programming for AI
Reinforcement Learning
Learning objectives
The reinforcement learning module introduces students to reinforcement learning and planning under uncertainty. In particular, it is focused on the design of algorithms that enable machines to learn based on reinforcements, hence from partial, implicit and delayed feedback obtained by repeatedly interact with the environment or users. At the end of the course, students will have to demonstrate that they have acquired the ability to i) tackle sequential decision problems with reinforcement learning techniques, ii) identify and apply the most effective and efficient algorithms to solve specific sequential decision problems, iii) designing new reinforcement learning algorithms. In particular, the acquired knowledge concerns advanced techniques for the resolution of Markov Decision Process (eg, research with Monte Carlo methods), bandit problems, model-based and model-free reinforcement learning, Bayesian reinforcement learning, deep reinforcement learning, and advanced reinforcement learning techniques (safe policy improvement, partially observable environments, hierarchical reinforcement learning, imitation-based learning, inverse reinforcement learning, and meta-learning). The Advanced Programming for AI module aims to provide information on programming languages, tools and software architectures that have emerged in the field of software systems (SW) based on artificial intelligence. The goal is to provide students with an understanding of the specific characteristics and key principles underlying various languages and advanced tools and to solve some classes of AI problems. Students will acquire programming skills in Python, will be able to write programs to solve typical problems and to assemble software modules, manage models, patterns, and perform the deployment of those modules on cloud platforms, with particular focus on interoperability and explainability.
Prerequisites and basic notions
Being a first year, first semester exam, there are no specific prerequisites other than those required for access to the degree course.
Program
------------------------
UL: Reinforcement Learning
------------------------
- Introduction to RL
- Multi-armed Bandits
- Markov Decision Processes
- RL based on Dynamic Programming (e.g., value/policy iteration)
- RL based on Monte Carlo Methods
- RL based on Temporal-Difference Learning (e.g., Q-learning, Sarsa)
- Planning and Learning: Model-Based RL (e.g., Dyna, MCTS planning)
- RL with Approximate Solutions (e.g., DQN)
- Policy Gradient Methods (e.g., Reinforce)
- RL with Actor-Critic Methods (e.g., A2C)
- Advanced algorithms (e.g., TRPO, PPO, SAC, DDPG)
- RL in Partially Observable Environments
- RL in Continuous Action Spaces
- Advanced reinforcement learning techniques
--- safe policy improvement
--- hierarchical reinforcement learning
--- imitation-based learning
--- inverse reinforcement learning
--- meta-learning
------------------------
UL: Advanced programming for AI
------------------------
The Advanced Programming for AI module aims to provide information on programming languages, tools, and software architectures that have emerged in the field of artificial intelligence. Students will advance their programming skills in Python, assemble software modules, manage models and patterns, and deploy them on cloud platforms. Special emphasis is placed on important frameworks like TensorFlow and PyTorch, alongside essential libraries such as Scikit-learn, Pandas, Matplotlib, and SciPy used for building learning architectures, data visualization, and model interpretation.
Program:
- Introduction to Learning Frameworks: TensorFlow, Keras, PyTorch
- Building Blocks of Learning: loss functions, activation functions, optimizers, vanishing gradients problems, batch normalization, regularization, dropout
- Custom Models: tensors and operations, tensors and NumPy, type conversions, variables, data structures, custom loss functions, custom metrics
- Loading and Preprocessing Data: shuffling, parsing, preprocessing features, chaining transformations
- Advanced Methodologies: meta-learning, transfer learning, domain adaptation, continual learning, active learning, multi-task learning, federated learning, Large Language Models (LLMs), Visual Language Models (VLMs)
Bibliography
Didactic methods
Lectures, laboratory experiences, exercises.
Learning assessment procedures
------------------------
UL: Reinforcement Learning
------------------------
To pass the exam, students will have to demonstrate that they:
- understand the principles behind how reinforcement learning and methods for programming modules based on artificial intelligence work
- be able to expose concepts of reinforcement learning and programming of modules based on artificial intelligence in a precise and organic way without digressions,
- knowing how to apply the acquired knowledge to solve application problems presented in the form of exercises, questions and projects.
The exam consists of a written test on the topics covered in the course. In case of low participation, the written exam will be replaced by an oral exam with equivalent questions. The questions may concern both the theoretical part and the exercises carried out in the laboratory. The written test can be followed by the development of a project.
------------------------
UL: Advanced programming for AI
------------------------
To pass the exam, students must demonstrate a comprehensive understanding of the principles underlying methods for programming modules based on artificial intelligence. They need to articulate the programming of AI modules clearly and cohesively, avoiding digressions. Furthermore, they must apply their acquired knowledge to solve application problems presented through exercises, questions, and projects.
The exam includes an oral assessment and evaluation of their solutions to lab exercises. The oral exam encompasses both theoretical concepts and practical exercises conducted in the lab. Additionally, with prior agreement from the teacher, students will choose to undertake a relevant project and submit a project report detailing their results. The project will be presented at the same time with the oral exam.
Evaluation criteria
Theoretical and applied knowledge of the techniques taught in the course; critical ability to select techniques based on the problem; ability to use the techniques taught in the course.
Criteria for the composition of the final grade
The final grade is represented by the arithmetic average of the grades of the two parts (RL / Advanced programming for AI) of the course.
Exam language
Inglese