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.