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.
Academic calendar
The academic calendar shows the deadlines and scheduled events that are relevant to students, teaching and technical-administrative staff of the University. Public holidays and University closures are also indicated. The academic year normally begins on 1 October each year and ends on 30 September of the following year.
Course calendar
The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..
Period | From | To |
---|---|---|
I sem. | Oct 3, 2016 | Jan 31, 2017 |
II sem. | Mar 1, 2017 | Jun 9, 2017 |
Session | From | To |
---|---|---|
Sessione invernale Appelli d'esame | Feb 1, 2017 | Feb 28, 2017 |
Sessione estiva Appelli d'esame | Jun 12, 2017 | Jul 31, 2017 |
Sessione autunnale Appelli d'esame | Sep 1, 2017 | Sep 29, 2017 |
Session | From | To |
---|---|---|
Sessione estiva Appelli di Laurea | Jul 19, 2017 | Jul 19, 2017 |
Sessione autunnale Appelli di laurea | Oct 18, 2017 | Oct 18, 2017 |
Sessione invernale Appelli di laurea | Mar 21, 2018 | Mar 21, 2018 |
Period | From | To |
---|---|---|
Festa di Ognissanti | Nov 1, 2016 | Nov 1, 2016 |
Festa dell'Immacolata Concezione | Dec 8, 2016 | Dec 8, 2016 |
Vacanze di Natale | Dec 23, 2016 | Jan 8, 2017 |
Vacanze di Pasqua | Apr 14, 2017 | Apr 18, 2017 |
Anniversario della Liberazione | Apr 25, 2017 | Apr 25, 2017 |
Festa del Lavoro | May 1, 2017 | May 1, 2017 |
Festa della Repubblica | Jun 2, 2017 | Jun 2, 2017 |
Vacanze estive | Aug 8, 2017 | Aug 20, 2017 |
Exam calendar
Exam dates and rounds are managed by the relevant Science and Engineering Teaching and Student Services Unit.
To view all the exam sessions available, please use the Exam dashboard on ESSE3.
If you forgot your login details or have problems logging in, please contact the relevant IT HelpDesk, or check the login details recovery web page.
Academic staff
Study Plan
The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
Modules | Credits | TAF | SSD |
---|
2° Year activated in the A.Y. 2017/2018
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Legend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Fundamental algorithms for Bioinformatics (2016/2017)
Teaching code
4S004550
Credits
12
Language
English
Also offered in courses:
- Algorithms for computational biology of the course Master's degree in Molecular and Medical Biotechnology
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
The teaching is organized as follows:
Algorithm design
Bioinformatics algorithms
Learning outcomes
------------------------
MM: Algorithm design
------------------------
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. This module focuses on general principles of advanced algorithm design, using examples taken from classical solutions of real-life bioinformatics problems. Within the overall goals of the Masters Course, the module Algorithm Design will provide the students with: a wealth of advanced techniques for tackling nontrivial problems in bioinformatics; the skill to design algorithmic solutions for typical problems in genome analysis; the ability to identify the structural elements that make a problem difficult or a solution inefficient; and the capability to propose appropriate approaches to the solution of hard problems in bioinformatics
------------------------
MM: Bioinformatics algorithms
------------------------
To learn about some of the basic algorithmic problems and solutions behind common bioinformatics applications (sequence alignment, sequence similarity, sequence assembly, RNA folding).
Program
------------------------
MM: Algorithm design
------------------------
Fundamental notions of algorithmic analysis (brief recap): graph traversals; shortest paths in graphs; minimum spanning tree; dynamic programming. Elements of computational complexity and NP-completeness Models of Genome Rearrangement: (i) polynomial time algorithm for sorting signed permutations; (ii) approximation algorithms for sorting unsigned permutations; (iii) Synteny Distance Some Fundamental Graph Problems: (i) Graph tours: Hamiltonian Cycles and Eulerian Cycles; efficient algorithms for Eulerian path and Eulerian cycle; (ii) The Traveling Salesman Problem: relationships to the hamiltonian cycle problems; inapproximability of the symmetric TSP; 2 approximation algorithm for the metric TSP Models for Physical Map: (i) polynomial time algorithm for The Consecutive Ones Property (C1P); (ii) approximation algorithm for the gap minimisation based on the metric TSP Models for DNA assembly: The Shortest Common Superstring problem and the approximation of the the maximum compression via weighted matching. Network Flow: maximum flow and min cut problems; maximum matching; decomposition of flow into edge disjoint paths; polynomial time algorithm for the minimum/maximum weight perfect matching in bipartite graphs. Models for Motif Finding: (i) the Consensus String Problem; (ii) Polynomial Time Approximation Scheme. Models of Haplotyping: polynomial time algorithms for the haplotyping problem for single individual on gapless data; extensions and parameterisations in the presence of data with gaps.
------------------------
MM: Bioinformatics algorithms
------------------------
Here is an overview of the topics that will be covered. * Introduction Part I: Pairwise Sequence Comparison * Pairwise sequence alignment * String distances * Pairwise alignment in practice: BLAST, Scoring matrices Part II: Multiple sequence alignment * exact DP algorithm * Carillo-Lipman search space reduction * approximation algorithm, heuristics Part III: RNA folding * Nussinov and Zuker algorithms, * approximation algorithm Part IV: Sequence assembly algorithms * Shotgun sequencing: SCS and other models * Sequencing by Hybridization and NGS: de Bruijn graphs, Euler tours
Bibliography
Activity | Author | Title | Publishing house | Year | ISBN | Notes |
---|---|---|---|---|---|---|
Algorithm design | J. Kleinberg, É. Tardos | Algorithm Design (Edizione 1) | Addison Wesley | 2006 | 978-0321295354 | |
Algorithm design | H.J. Böckenhauer, D. Bongartz | Algorithmic Aspects of Bioinformatics | Springer | 2007 | ||
Algorithm design | Neil C. Jones, Pavel A. Pevzner | An introduction to bioinformatics algorithms (Edizione 1) | MIT Press | 2004 | 0-262-10106-8 | |
Algorithm design | J.C. Setubal, J. Meidanis | Introduction to Computational Biology | Pws Pub Co | 1997 | ||
Bioinformatics algorithms | H.J. Böckenhauer, D. Bongartz | Algorithmic Aspects of Bioinformatics | Springer | 2007 | ||
Bioinformatics algorithms | Enno Ohlebusch | Bioinformatics Algorithms | 2013 | 978-3-00-041316-2 | ||
Bioinformatics algorithms | Joao Setubal and Joao Meidanis | Introduction to Computational Biology | 1997 |
Examination Methods
------------------------
MM: Algorithm design
------------------------
The exam verifies that the students can master the fundamental tools and techniques for the analysis and design of algorithms and that they understand how these techniques are employed in the solution of some classical computational problems arising in bioinformatics. The exam consists of a written test with open questions. The test includes some mandatory exercises and a set of exercises among which the student can choose what to work on. The mandatory exercises are meant to evaluate the student's knowledge of classical algorithms and analysis tools as seen during the course. "Free-choice" exercises test the ability of students to model "new" toy problems and design and analyse algorithmic solutions for it. The grade for the module Algorithm Design is determined by the result of the written test and the result of homework to be solved periodically during the semester. The overall grade for "Fundamental Algorithms for Bioinformatics" is computed by averaging the grades awarded for the two modules.
------------------------
MM: Bioinformatics algorithms
------------------------
Written exam, followed by oral exam. You are only admitted to the oral if you have passed the written 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 exams.
Type D and Type F activities
Modules not yet included
Career prospects
Module/Programme news
News for students
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.
Tutoring faculty members
Graduation
Deadlines and administrative fulfilments
For deadlines, administrative fulfilments and notices on graduation sessions, please refer to the Graduation Sessions - Science and Engineering service.
Need to activate a thesis internship
For thesis-related internships, it is not always necessary to activate an internship through the Internship Office. For further information, please consult the dedicated document, which can be found in the 'Documents' section of the Internships and work orientation - Science e Engineering service.
Final examination regulations
Upon completion of the Master’s degree dissertation, students are awarded 24 CFU, which equates to no more than 4-5 months of full-time work. The dissertation may be written and presented in English or Italian, also using multimedia tools such as presentations and videos.
Goals
The primary goal of a dissertation is to develop an original study that may include an application project or a theoretical topic related to specific design issues, or a critical review of the most recent developments in a given field of study. During the preparation of the dissertation, under the guidance of the Supervisor and co-supervisors (if any), the student is expected to conduct an in-depth study of the chosen topic, while gaining the ability to summarise and creatively apply the knowledge acquired. The dissertation should focus on topics of bioinformatics and medical informatics, or closely related areas of study. The work shall consist in the written presentation of activities that may be structured as follows:
- design and development of applications or systems;
- critical analysis of contributions from the scientific literature;
- original research contributions.
The dissertation may be written either in English or in Italian, and can be presented either in English or in Italian, also relying on multimedia tools such as presentations and videos. Should the dissertation be written in Italian, the work will need to include an abstract in English.
Assessment methods and examination procedures
The final examination consists in writing a Master’s degree dissertation, which will engage the student in a work of research, formalisation, design or development, thus contributing to complete their technical and scientific training. Each dissertation can be either internal or external, depending on whether it is carried out at the University of Verona or in collaboration with another institution. For each dissertation a Supervisor, one or more co-supervisors (optional) and an Examiner will be appointed. The Examiner is appointed by the Computer Science Teaching Committee at least 20 days before the presentation of the dissertation, once the student's eligibility to take the Master's degree examination has been verified. With regard to the legal aspects related to the dissertation and its scientific outcomes (e.g. intellectual property of research outcomes), please refer to the relevant legislation and the University Regulations.
Evaluation of the dissertation
The Supervisor, the co-supervisor/s (if any) and the Examiner will evaluate the dissertation based on the following criteria:
- level of in-depth analysis carried out, in relation to the most recent developments in the areas related to information technology, with a focus on medical and biological applications;
- scientific and/or technological outcomes of the dissertation;
- student’s critical thinking;
- student’s experimental and/or formal development;
- student’s ability to carry out independent work (this point will not be assessed by the Examiner);
- value of the methodologies used;
- accuracy in planning and writing the dissertation.
Graduation mark
The graduation mark (based on a 110-point scale) is a whole value between 66/110 and 110/110 and is calculated by adding together the following elements (then rounding the result to the nearest whole number, e.g. 93.50 => 94; 86.49 => 86):
- 1) the average of the marks gained in the modules, weighted according to CFU, converted to a 110-point scale;
- 2) evaluation of the dissertation and the oral presentation during the final examination, based on the following methods:
- a) each of the points 1-7 listed above will be assigned a coefficient between 0 and 1 (fractional coefficient with one decimal place);
- b) the quality of the presentation will be assessed by awarding a coefficient between 0 and 1 (fractional coefficient with one decimal place);
- c) the sum of the points resulting from (a) and (b).
The Graduation Committee may award one extra point in the following cases: cum laude honours obtained in the exams taken during the degree programme; participation in internships officially recognised by the Computer Science Teaching Committee; taking extra modules; and the achievement of the degree in a time that is shorter than the normal duration of the degree programme. If the final score is 110/110, the Graduation Committee may award cum laude honours by unanimous decision.
External dissertations
An external dissertation is a work carried out in collaboration with an institution/body other than the University of Verona. In this case, the topic of the dissertation must be agreed in advance with a Supervisor from the University of Verona. In addition, the student must indicate at least one co- supervisor belonging to the external institution/body, who will support the student during the work on the dissertation. The Supervisor and the co- supervisors must be indicated in the online graduation application. The insurance aspects relating to the student's stay at the external institution are regulated by the regulations in force at the University of Verona. If the dissertation involves a period of training at the external institution/body, then it is necessary that the University of Verona enters into a specific agreement with such institution/body. The scientific outcomes of the dissertation will be available to all parties involved. In particular, the contents and results of the dissertation are to be considered public. For all matters not strictly scientific (e.g. agreements, insurance) the resolution of the Academic Senate of 12 January 1999 shall be taken as a reference.
Supervisor, co-supervisors, examiners
The dissertation presentation is introduced by the Supervisor. Professors belonging to the Master’s degree programme in Medical Bioinformatics, the Department of Computer Science, and any associated departments may be appointed as Supervisors, as well as any lecturers from the University of Verona whose area of interest is included in the Scientific-disciplinary Sectors (SSD) ING/INF/05 and INF/01. In addition to those who have the above requirements to be appointed as Supervisor, the following individuals may be appointed as co-supervisors: researchers working in external research institutes, research grant holders, post-doctoral fellowship holders, PhD students, technical staff of the Department, external experts appointed by an Italian University, corporate officers who have a remarkable experience in the field relevant to the topic of the dissertation. Examiners may be appointed among professors of the University of Verona, working in the Scientific- disciplinary Sectors (SSD) included in the educational offer of the Master’s degree programme in Medical Bioinformatics, and experts in the specific field of the dissertation topic.
Procedures and deadlines
The student who is about to complete their studies must identify a dissertation topic, proposed or approved by a Supervisor or co-supervisor/s (if any). When the work is nearing completion, the student must submit to the Teaching and Student Services Unit the graduation application, which must contain the title of the dissertation (even provisional), the name of the Supervisor, co-supervisor/s (only for external dissertations) and Examiner. Subsequently, on dates established by the Teaching and Student Services Unit, and in any case no later than 20 days before the graduation, the student must submit the graduation application form with the final title of the dissertation, which must be signed by the Supervisor. These documents must be delivered in accordance with the terms established by the Teaching and Student Services Unit.
The student will need to:
- i) upload a copy of their dissertation on ESSE3;
- ii) send a copy of their dissertation in PDF format to their Examiner.
In order to be admitted to the final examination, the student must have acquired the CFU in the SSD (Scientific-Disciplinary Sectors) set out in the Master’s degree regulations and teaching plan, and be up to date with the payment of their tuition fees. The Teaching and Student Services Unit of the Master's degree programme will invite all the Supervisors and co-supervisors involved, providing them with information about the date and time of the final examination.
Graduation Committee
The Graduation Committee shall include five members, of which at least four are professors in the Master's degree programme in Medical Bioinformatics. Based on the number of graduates, the Computer Science Teaching Committee will identify the most appropriate organisational methods for administering the examination, and it shall make available the calendar of tests at least one week before the examination itself. The procedures and deadlines for the submission of the graduation application are established by the Computer Science Teaching Committee and by the relevant offices.
Career management
Student login and resources
Erasmus+ and other experiences abroad
Attendance modes and venues
As stated in the Teaching Regulations, attendance at the course of study is not mandatory.
Part-time enrolment is permitted. Find out more on the Part-time enrolment possibilities page.
The course's teaching activities take place in the Science and Engineering area, which consists of the buildings of Ca‘ Vignal 1, Ca’ Vignal 2, Ca' Vignal 3 and Piramide, located in the Borgo Roma campus.
Lectures are held in the classrooms of Ca‘ Vignal 1, Ca’ Vignal 2 and Ca' Vignal 3, while practical exercises take place in the teaching laboratories dedicated to the various activities.