Ingeniero Informático por la UPM. Pablo es doctor por la Universidad de Nottingham de Reino Unido. Ha participado en la implantación de Programación y Comunicación en la Educación Secundaria Obligatoria de la Comunidad de Madrid. Sus áreas de investigación están relacionados con la informática teórica, la lógica y los lenguajes de programación: depuración dirigida por pruebas, programación funcional genérica, tipos de datos abstractos y teoría de categorías, análisis sintáctico, álgebra relacional y unificación, transformación de programas, semántica operativa y cálculos lambda.
Información para:
Menú
Menú
Menú
