JOSÉ IGNACIO
REQUENO JARABO
Profesor ayudante doctor
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.