Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Área: Lenguajes y Sistemas Informáticos

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

Email: jrequeno@ucm.es

Doctor por la Universidad de Zaragoza con la tesis Formal methods applied to the analysis of phylogenies Phylogenetic model checking 2014. Dirigida por Dr/a. José Manuel Colom Piazuelo.