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 Medical bioinformatics - 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° | Attention Laboratory | D |
Pietro Sala
(Coordinator)
|
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° | Attention Laboratory | D |
Pietro Sala
(Coordinator)
|
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)
|
Biomedical decision support systems (2024/2025)
Teaching code
4S004553
Teacher
Coordinator
Credits
6
Also offered in courses:
- Biomedical decision support systems of the course Master's degree in Artificial intelligence
Language
English
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
Semester 2 dal Mar 3, 2025 al Jun 13, 2025.
Courses Single
Authorized
Learning objectives
Knowledge and understanding The course aims to introduce principles that form the foundations of the Decision Support System together with case-studies of their real-world applications, with particular focus on their use in Biomedical domain. In particular, the purpose of the course consists of providing advanced knowledge on the techniques and principles involved in managing and manipulating very large databases (with specific examples borrowed from the biomedical domain). Moreover, the course will provide the theretical and practical foundations of the main data mining techniques used in clinical domains. Applying knowledge and understanding During the course students will aquire the following competences: - they will be able to choose and use the appropriate components in order to provide solution for supporting decision to the medical staff; - they will be able torealize complex operations of Extraction, Transformation, and Loading (ETL) on several clinical data types coming from different sources (Relational Databases, API, Websites, and so on) and encoded in both structure (relational tables) and semi-structured (XML) fashion; -they will be able to model and realize OLAP (On-Line Analytical Processing) solutions for supportuing decisions in a Biomedical context; -they will be able to use or adapt advanced data-mining techniques (Approximate Functional Dependencies, Association Rules, Entropy-based Classifiers, and so on) for extracting knowledge from large amounts of data. Making judgements Students will develop the required skills in order to be autonomous in the following tasks: - choose and apply data mining techniques for extracting medical knowledge from large amount of data; - choose the appropriate graphical/interactive representations for represent specific clinical information. Communication skills The student will learn how to address the correct priorities to the informations that must be reported to the end-user according to his needs and the language of his domain. Learning skills The students will be introduced to the main algorithms and techniques used in the clinical data mining field, together with the description of the factors that affect their efficiency and effectiveness. This knowledge will be the basis for comprehend more specific techniques adopted nowadays for data mining for clinical domain. Moreover, the student will be able to choose autonomously the data mining techinque for answering a given quesry of the end-user. Finally, he will be able to evaluate the performance and the accuracy of the proposed solution.
Prerequisites and basic notions
Possess solid knowledge of programming, including understanding of data structures and basic algorithms. Students should be familiar with fundamental concepts of statistics and probability, linear algebra, and mathematical analysis. Basic understanding of machine learning is required, including classification, regression, and clustering algorithms. Preliminary knowledge of databases and data management is essential. It is also important to have familiarity with graph theory concepts and algorithms, as they will be applied in pattern extraction and analysis of complex data structures.
Program
By the end of the course, students will be able to apply advanced data mining techniques for knowledge extraction from complex and heterogeneous datasets. They will master Association Rules algorithms to identify frequent patterns and significant relationships in data, using metrics such as support, confidence, and lift. They will develop skills in analyzing complex data structures through process mining and automata learning, implementing algorithms like L* for automaton learning. Students will acquire expertise in advanced machine learning techniques, including ensemble methods, boosting, conformal prediction, and univariate time-series analysis. Students will learn to apply game theory concepts in data mining, using Nash equilibria and Shapley values for model analysis and interpretation. Finally, they will develop skills in pattern mining, using entropy, feature selection, and conformal regression techniques to ensure robustness and reliability of predictions.
Bibliography
Didactic methods
The course adopts an approach primarily based on frontal lessons integrated with laboratory sessions using Jupyter Notebooks. Each module combines theoretical explanations with immediate practical implementations, allowing students to experiment directly with code and visualize results in real-time. Students will work with established industry tools and implement algorithms both from scratch and using specialized libraries. Educational resources include supplementary materials, example code, and access to libraries and frameworks in the field of artificial intelligence and data mining.
Learning assessment procedures
Learning assessment is based on assigned exercises during the course and a final oral examination. Students must complete all exercises proposed by the instructor, covering the different program topics: Association Rules, Mining Structures, Machine Learning, Game Theory for Data Mining, and Pattern Mining. No alternative proposals are provided - all assigned exercises are mandatory and must be submitted. During the oral examination, students will present the results of completed exercises and answer questions about the methods used, obtained results, and theoretical concepts underlying the applied data mining techniques.
Evaluation criteria
The evaluation is based on the quality of assigned exercise completion and the ability to orally discuss obtained results. Regarding exercises, the evaluation considers correctness of data mining technique implementation, accuracy in data analysis, and completeness of proposed solutions. During the oral examination, theoretical understanding of used algorithms, ability to critically interpret results, skill in connecting theory and practical application, and mastery of data mining technical language are assessed. Particular attention is given to the ability to justify methodological choices adopted in exercises and to discuss implications of obtained results.
Criteria for the composition of the final grade
The final grade is composed of 60% evaluation of assigned exercises and 40% oral examination. Exercise evaluation considers technical correctness of implementations, effectiveness of proposed solutions, completeness of result analysis, and presentation quality. Oral evaluation is based on presentation clarity, depth of theoretical understanding, and ability to justify implementation choices and conduct critical analysis of the project.
Exam language
Inglese