Saila: Sistemas Informáticos y Computación

Fakultatea: Informática

Eremua: Lengoaia eta Sistema Informatikoak

Ikerketa taldea: Design and Testing of Reliable Systems

E-maila: jrequeno@ucm.es

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