JOSÉ IGNACIO
REQUENO JARABO
Profesor ayudante doctor
Fachbereich: Sistemas Informáticos y Computación
Fakultät: Informática
Bereich: Computersprachen und Computersysteme
Forschungsgruppe: Design and Testing of Reliable Systems
Email: jrequeno@ucm.es
Doktor von der Universidad de Zaragoza mit der Dissertation Formal methods applied to the analysis of phylogenies Phylogenetic model checking 2014. unter der Leitung von Dr. José Manuel Colom Piazuelo.