CG3 - Capacity for mathematical modeling, calculation and experimental designing in technology and companies engineering centers, particularly in research and innovation in all areas of Computer Science.
CTR6 - Capacity for critical, logical and mathematical reasoning. Capability to solve problems in their area of study. Capacity for abstraction: the capability to create and use models that reflect real situations. Capability to design and implement simple experiments, and analyze and interpret their results. Capacity for analysis, synthesis and evaluation.
CB6 - Ability to apply the acquired knowledge and capacity for solving problems in new or unknown environments within broader (or multidisciplinary) contexts related to their area of study.
CB7 - Ability to integrate knowledges and handle the complexity of making judgments based on information which, being incomplete or limited, includes considerations on social and ethical responsibilities linked to the application of their knowledge and judgments.
CB9 - Possession of the learning skills that enable the students to continue studying in a way that will be mainly self-directed or autonomous.
Technical Competences of each Specialization
CEC1 - Ability to apply scientific methodologies in the study and analysis of phenomena and systems in any field of Information Technology as well as in the conception, design and implementation of innovative and original computing solutions.
CEC2 - Capacity for mathematical modelling, calculation and experimental design in engineering technology centres and business, particularly in research and innovation in all areas of Computer Science.
CEC3 - Ability to apply innovative solutions and make progress in the knowledge that exploit the new paradigms of Informatics, particularly in distributed environments.
Introduce the student to the algorithmic, computational, and statistical problems that arise in the analysis of biological data.
Reinforce the knowledge of discrete structures, algorithmic techniques, and statistical techniques that the student may have from previous courses.
How do we assemble genomes?
A short history of DNA sequencing technologies.
Tractable and intractable problems.
From Euler to Hamilton to de Bruijn.
The string reconstruction problem.
String reconstruction as a walk in the overlap graph.
Another graph for string reconstruction.
Walking in the de Bruijn graph.
Assembling genomes from read-pairs.
How do we compare biological sequences?
Cracking the non-ribosomal code.
Introduction to sequence alignment.
The Manhattan tourist problem.
Sequence alignment is the Manhattan tourist problem in disguise.
An introduction to dynamic programming: The change problem.
The Manhattan tourist problem revisited.
From Manhattan to an arbitrary directed acyclic graph.
Backtracking in the alignment graph.
From global to local alignment.
The changing faces of sequence alignment.
Penalizing insertions and deletions in sequence alignment.
Space-efficient sequence alignment.
Are there fragile regions in the human genome?
The random breakage model of chromosome evolution.
Sorting by reversals.
A greedy heuristic for sorting by reversals.
Rearrangements in tumor genomes.
From unichromosomal to multichromosomal genomes.
Computing the 2-break distance.
Rearrangement hotspots in the human genome.
Which animal gave us SARS?
Transforming distance matrices into evolutionary trees.
Toward an algorithm for distance-based phylogeny construction.
Using least squares to construct approximate distance-based phylogenies.
Ultrametric evolutionary trees.
The neighbor-joining algorithm.
Character-based tree reconstruction.
The small parsimony problem.
The large parsimony problem.
How did yeast become a wine maker?
An evolutionary history of wine making.
Identifying genes responsible for the diauxic shift.
Introduction to clustering.
The good clustering principle.
Clustering as an optimization problem.
Farthest first traversal.
The Lloys algorithm.
Clustering genes implicated in the diauxic shift.
Limitations of k-means clustering.
From coin flipping to k-means clustering.
Making soft decisions in coin flipping.
Soft k-means clustering.
How do we locate disease-causing mutations?
Introduction to multiple pattern matching.
Herding patterns into a trie.
Preprocessing the genome instead.
The Burrows-Wheeler transform.
Inverting the Burrows-Wheeler transform.
Pattern matching with the Burrows-Wheeler transform.
Speeding up Burrows-Wheeler pattern matching.
How do we analyze microbial communities?
Single-read and paired-end sequencing.
Demultiplexing reads from multiple metagenomic samples.
Clustering reads into operational taxonomic units.
Taxonomy assignment and taxonomic assignment.
Analysing alpha and beta diversity of microbial communities.
Introduction to statistical genetics
Basic genetic terminology. Population-based and family-based studies. Traits, markers and polymorphisms. Single nucleotide polymorphisms and microsatellites. R-package genetics.
Hardy-Weinberg law. Hardy-Weinberg assumptions. Multiple alleles. Statistical tests for Hardy-Weinberg equilibrium: chi-square, exact and likelihood-ratio tests. Graphical representations. Disequilibrium coefficients: the inbreeding coefficient, Weir's D. R-package HardyWeinberg.
Definition of linkage disequilibrium (LD). Measures for LD. Estimation of LD by maximum likelihood. Haplotypes. The HapMap project. Graphics for LD. The LD heatmap.
Phase ambiguity for double heterozygotes. Phase estimation with the EM algorithm. Estimation of haplotype frequencies. R-package haplo.stats.
Definition of population substructure. Population substructure and Hardy-Weinberg equilibrium. Population substructure and LD. Statistical methods for detecting substructure. Multidimensional scaling. Metric and non-metric multidimensional scaling. Euclidean distance matrices. Stress. Graphical representations.
Genetic association analysis
Disease-marker association studies. Genetic models: dominant, co-dominant and recessive models. Testing models with chi-square tests. The alleles test and the Cochran-Armitage trend test. Genome-wide assocation tests.
Family relationships and allele sharing
Identity by state (IBS) and Identity by descent (IBD). Kinship coefficients. Allele sharing. Detection of family relationships. Graphical representations.
All classes consist of a theoretical session (a lecture in which the professor introduces new concepts or techniques and detailed examples illustrating them) followed by a practical session (in which the students work on the examples and exercises proposed in the lecture). On the average, two hours a week are dedicated to theory and one hour a week to practice, and the professor allocates them according to the subject matter. Students are required to take an active part in class and to submit the exercises at the end of each class.
Students are evaluated during class, and in a final exam. Every student is required to submit one exercise each week, graded from 0 to 10, and the final grade consists of 50% for the exercises and 50% for the final exam, also graded from 0 to 10.