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 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
Warning: to students, who have achieved the B2 level of English in their three-year careers (bachelor), we emphasize the need to replace the full B2 level of English, provided by the study plan, with the C1 level of "computerized" English (prova informatizzata) or to acquire other language proficiency in a community language at least at the full B1 level.
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
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 information on how to activate the internship.
Check in the regulations which activities can be Type D and which can be Type F.
Modules and other activities that can be entered independently in the booklet
years | Modules | TAF | Teacher |
---|---|---|---|
1° 2° | Introduction to quantum mechanics for quantum computing | D |
Claudia Daffara
(Coordinator)
|
1° 2° | Introduction to Robotics for students of scientific courses. | D |
Andrea Calanca
(Coordinator)
|
1° 2° | Mathematics mini courses |
Giacomo Albi
(Coordinator)
|
|
1° 2° | Web and mobile app design using react and react native | D |
Graziano Pravadelli
(Coordinator)
|
1° 2° | Firmware development with bluetooth low energy (BLE) protocol and freertos operating system | D |
Franco Fummi
(Coordinator)
|
years | Modules | TAF | Teacher |
---|---|---|---|
1° 2° | Introduction to Robotics for students of scientific courses. | D |
Andrea Calanca
(Coordinator)
|
1° 2° | Mathematics mini courses |
Giacomo Albi
(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)
|
years | Modules | TAF | Teacher |
---|---|---|---|
1° 2° | Cooperative Game Theory in the (Deep) RL Era | D |
Alessandro Farinelli
(Coordinator)
|
Discrete optimization and decision making (2023/2024)
Teaching code
4S009081
Academic staff
Coordinator
Credits
6
Also offered in courses:
- Mathematics for decisions of the course Master's degree in Mathematics
- Discrete Optimization of the course Master's degree in Artificial intelligence
Language
English
Scientific Disciplinary Sector (SSD)
MAT/09 - OPERATIONS RESEARCH
Period
Semester 2 dal Mar 4, 2024 al Jun 14, 2024.
Courses Single
Authorized
Learning objectives
The course aims to introduce the basics of mathematical programming, in order to develop modeling skills to formulate and solve complex real problems in both deterministic and probabilistic domains. The course will cover topics of integer and continuous linear programming, also providing good knowledge in the field of stochastic programming and robust optimization, as methods in the field of decision theory. The lectures will focus on the computational aspects of the different approaches, as well as on the respective modeling and application features in concrete areas. At the end of the course the student has to show to have acquired the following skills: i) ability to deal with modeling, optimization and decision-making problems, ii) ability to develop computational tools for the application of theoretical solutions in the field of optimization of, e.g., routing, industrial production and financial processes, iii) ability to use specific software solutions to solve mathematical formulations, e.g., Gurobi, Cplex
Prerequisites and basic notions
rudiments of analysis (numbers, sets, functions), algebra and calculus (equations and unknowns), analytic geometry (Cartesian coordinates, equations for the line or the plane), and linear algebra (vectors and matrices)
Program
- Basic notions on Problems, Models, Algorithms and Computational Complexity
- Linear Programming (reference: Vanderbei chapters 2,3,4,5, but no need to read the proof concerning Bland's rule)
- the tableau and the simplex algorithm
- duality theory
- complementary slackness
- economic interpretation
- Modeling
- the art of resorting to a Solver (Gurobi)
- Integer Linear Programming
- simple enumeration and implicit enumeration algorithms
- branch & bound
- branch & cut
- compact formulations
- approximation algorithms
- heuristics and meta-heuristics
- Graphs as models and problems on graphs
- shortest paths
- maximum flows
- maximum bipartite matching
- TSP
Bibliography
Didactic methods
The lessons will take place in a traditional classroom but can be followed also from remote and will be recorded.
Learning assessment procedures
The exam consists of two separate parts:
+ HOMEWORK and MINI-PROJECTS with marks produced as the projects are received, possibly after their discussion and/or presentation. These activities take place already during the course but the projects can be delivered even after the course has ended. The weighted average of all these marks will become the final mark for this part.
+ INDIVIDUAL ORAL, with mark produced at the time of the oral
the exam grade will be the arithmetic mean rounded up, where a 30L is counted as 32, and to obtain 30L as final mark you need at least a 30L and both grades must be at least 30.
Skills to be exhibited in the oral exam:
1. knowledge of the theorems discussed (at least their statements)
2. knowledge of some notable models.
3. ability to reason with examples and counterexamples.
4. being able to provide examples and classes of exact, approximate and metaheuristic algorithms.
5. mastery of the language of the LP and of the ILP.
6. ability to model a problem on an abstract level and also in practice.
7. knowledge of the topics treated during the course. At the end of the course a list of such topics will be agreed upon.
Evaluation criteria
Discussed and agreed with the aim that they can be both fair and reasonable, also considering the heterogeneity in the background and paths of the participants to be managed as a precious resource.
Exam language
English (official language of the course) is fine. Italiano va benissimo.