Computational phylogenetics

Within the research in discrete event systems and formal methods we have the following applications in Bioinformatics:

  • Phylogenetic analysis: The objective is to find a tree that represents the evolutionary ancestors of a set of individuals, genes, species or other data. In our case we focus on the construction of the phylogenetic tree for a set of sequences of mtDNA.
  • Evolutionary study of genetic diseases: The study of mitochondrial DNA (mtDNA) mutations is crucial in the control of several of the rare diseases that are more prevalent, in addition the phenotypes associated to these mutations are usually very drastic, causing chronic, progressive and often fatal illnesses.


For more information please check recent publications of:

      and those of their PhD students: