Department: Sistemas Informáticos y Computación

Faculty: Informática

Area: Computer Languages and Systems

Research group: Design and Testing of Reliable Systems

Email: jrequeno@ucm.es

Doctor by the Universidad de Zaragoza with the thesis Formal methods applied to the analysis of phylogenies Phylogenetic model checking 2014. Supervised by Dr. José Manuel Colom Piazuelo.