JOSÉ IGNACIO
REQUENO JARABO
Profesor ayudante doctor
Departament: Sistemas Informáticos y Computación
Facultat: Informática
Àrea: Llenguatges i Sistemes Informàtics
Grup d'investigació: Design and Testing of Reliable Systems
Correu: jrequeno@ucm.es
Doctor per la Universidad de Zaragoza amb la tesi Formal methods applied to the analysis of phylogenies Phylogenetic model checking 2014. Dirigida per Dr/a. José Manuel Colom Piazuelo.