Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Área: Linguaxes e Sistemas Informáticos

Grupo de investigación: Design and Testing of Reliable Systems

Correo el.: jrequeno@ucm.es

Doutor pola Universidad de Zaragoza coa tese Formal methods applied to the analysis of phylogenies Phylogenetic model checking 2014. Dirixida por Dr/a. José Manuel Colom Piazuelo.