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/2026

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 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.

Academic year:

Teaching code

4S004550

Credits

12

Language

English en

Also offered in courses:

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Courses Single

Authorized

The teaching is organized as follows:

Algorithm design

Credits

6

Period

Semester 1

Bioinformatics algorithms

Credits

6

Period

Semester 2

Academic staff

Zsuzsanna Liptak

Learning objectives

Students will acquire a wealth of advanced analytic tools which constitute the foundational basis of the algorithmic solution of important problems in bioinformatics Knowledge and understanding The aim of the course is to provide the student with the necessary skills and know-how for the design and analysis of algorithmic solutions to fundamental bioinformatics problems. Applying knowledge and understanding The students will acquire the ability to design algorithmic solutions for typical problems in bioinformatics and computational biology, e.g., analysis of “omics”-data. Making judgements The students will be able to identify the critical structural elements of a problem and the most appropriate approaches to tackle complex problems in bioinformatics. Communication The students will acquire the ability to describe with appropriate precision and clarity, to both experts and non-specialists: a bioinformatics problem, its mathematical model and the corresponding solution. Lifelong learning skills The students will be able to deepen their know-how in bioinformatics autonomously. Based on the topics studied and the knowledge acquired, they will be able to read, understand, and apply material from advanced text-books and scientific article.

Prerequisites and basic notions

basic knowledge of discrete mathematics

Program

------------------------
UL: Algorithm design
------------------------
1. Fundamental notions of algorithmic analysis and complexity: Brief recap on graph traversals; shortest path problem; minimum spanning tree algorithms; elements of computational complexity and NP-completeness
2. Models for Genome Rearrangement: (i) approximation algorithms for reversal distance model (sorting unsigned permutations); (ii) the Doble Cut and Join model; (iii) Synteny Distance approximation algorithms
3. Models for DNA assembly: (i) The Shortest Common Superstring problem (SCS), connections to maximum cost TSP, approximation of the maximum compression via weighted matching; (ii) efficient algorithms for the Eulerian path and Eulerian cycle problem.
4. Introduction to data structures for genomic sequences: (i) Basics of Suffix trees and Suffix arrays; (ii) some applications.
------------------------
UL: Bioinformatics algorithms
------------------------
1. Pairwise Sequence Comparison:
(i) Pairwise sequence alignment (global, local) (ii) variants: optimal alignment in linear space, semiglobal, affine gap penalties, (iii) Pairwise alignment in practice: dotplots, BLAST, Scoring matrices
2. String distance measures: (i) edit distance, (ii) LCS distance, (iii) q-gram distance
3. de Bruijn graphs: (i) de Bruijn graphs and de Bruijn sequences, (iii) sequence assembly based on de Bruijn graphs
4. Multiple sequence alignment:
(i) exact DP algorithm, (ii) approximation algorithms, heuristics
5. Phylogenetic reconstruction:
(i) distance based data: ultrametric trees and UPGMA, (ii) distance based data: additive trees and Neighbor Joining (iii) character based data: Perfect phylogeny (PP); (iv) character based data: Small Parsimony, Fitch' algorithm (v) heuristics for Large Parsimony.

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

------------------------
UL: Algorithm design
------------------------
Lectures (blackboard and slides)
------------------------
UL: Bioinformatics algorithms
------------------------
lectures as well as exercise sessions; homework which will be discussed in class

Learning assessment procedures

------------------------
UL: Algorithm design
------------------------
To pass the exam, it is necessary to take a written test, consisting of open questions and/or multiple choice questions. The exercises are meant to evaluate the student's knowledge of classical algorithms and analysis tools as seen during the course, as well as their ability to model "new" toy problems and design and analyse algorithmic solutions for it.
------------------------
UL: Bioinformatics algorithms
------------------------
To pass the exam, it is necessary to take a written test. Students who have a grade of over 25 in the written test have to take an additional oral exam.
The written exam consists of theoretical questions (problems studied, analysis of algorithms studied, mathematical properties, which algorithms exist for a problem etc.), as well as applications of algorithms to concrete examples (computing a pairwise alignment with the DP algorithm etc.) In the oral exam, the student will explain in detail their solutions to the written exam, and show to what extent they have mastered the topics.
Students of the Masters in Molecular and medical biotechnology will have separate questions.
(The exam is the same for students who follow the course during the semester and those who do not: frequentanti e no.)

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

------------------------
UL: Algorithm design
------------------------
Ability to design and analyze discrete models for problems in bioinformatics
------------------------
UL: Bioinformatics algorithms
------------------------
ability to apply the algorithms studied on small examples; ability to explain them formally and correctly; ability to analyze them correctly; ability to choose the correct algorithm; understanding of the context (e.g. complexity of problems studied)

Criteria for the composition of the final grade

The overall grade for "Fundamental Algorithms for Bioinformatics" is the average of the grades for the two modules. The exam is the same for students who follow the course during the semester and those who do not.

Exam language

English