Licenciado en Ciencias Matemáticas, Doctor en Sistemas Informáticos y Computación, y Experto en Educación Matemática con más de 10 años de experiencia profesional docente como profesor e investigador universitario en las Facultades de Ciencias Matemáticas e Informática de la Universidad Complutense de Madrid.
Profesor del Máster en Formación del Profesorado de ESO y Bachillerato, FP y Enseñanza de Idiomas en los Centros de Enseñanza Secundaria IES Francisco de Quevedo, IES Iturralde y Colegio "La Inmaculada" Escolapias. Vocal del Tribunal de Pruebas de Acceso a los Estudios Universitarios de la UCM en las asignaturas de "Matemáticas II" y "Matemáticas Aplicadas a las Ciencias Sociales".
Evaluación excelente con mención especial del "Programa Docentia" de la Agencia Nacional de Evaluación de la Calidad y Acreditación (ANECA) por estar en el "5% de los profesores mejor valorados por los estudiantes", concedido por la Comisión para la Evaluación de la Calidad de la Docencia de la UCM.
On the Cooperation of the Constraint Domains H, R and FD in CFLP. Journal of Theory and Practice of Logic Programming 9(4), págs. 415-527, 2009. Cambridge University Press. ISSN: 1471-0684.
Constraint Functional Logic Programming over Finite Domains. Journal of Theory and Practice of Logic Programming 7(5), págs. 537-582, 2007. Cambridge University Press. ISSN: 1471-0684.
A New Generic Scheme for Functional Logic Programming with Constraints. Journal of Higher-Order and Symbolic Computation 20(1/2), págs. 73-122, 2007. Kluwer Academic Publishers. ISSN: 1388-3690.
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. Journal of Lecture Notes in Computer Science 4989, págs. 305-321. Editorial Springer. ISSN: 0302-9743.
Interactive Learning of Data Structures and Algorithmic Schemes. Journal of Lecture Notes in Computer Science 5101, pigs. 800-809, 2008. Editorial Springer. ISSN: 0302-9743.
"Estrategias de Estrechamiento Perezoso: Modelos de Cómputo para la Programación Lógico Funcional". EAE Editorial Académica Española, 2011. ISBN: 978-3-8454-8324-5.
"Un Esquema de Programación Lógico-Funcional con Restricciones: Marco Teórico y Aplicación a la Depuración Declarativa". Biblioteca Complutense - Colección Digital Complutense. ISBN: 978-84-692-2770-1.
Desarrollo de herramientas software de conexión interdisciplinar para el doble grado en Ingeniería Informática y Matemáticas. Editorial Universidad Complutense de Madrid. ISBN: 978-84-96703-40-7. D.L.: M-15004-2012.
"Un entorno educativo integrado para la enseñanza interactiva de la Informática a través del Campus Virtual". Curso impartido en el "Máster de Formación del Profesorado de Secundaria: buenas prácticas por medio del Campus Virtual". Instituto de Ciencias de la Educación, Facultad de Educación de la Universidad Complutense de Madrid.
"Los orígenes de la Informática en la Historia de las Matemáticas". Curso impartido en el Programa de "Posgrado en Educación Matemática" de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid.
"Session chair" en el "4th International Conference on Computer Supported Education". Porto, Portugal, April 16 - 18, 2012.
"Session chair" en el "2nd International Conference on Computer Supported Education". Valencia, Spain, April 7 - 10, 2010.
UNIF 2008 Programme Committee - The 22nd International Workshop on Unification. Castle of Hagenberg, Austria, July 18, 2008.
WFLP 2006 Organization Committee - 15th Workshop on Functional and (Constraint) Logic Programming. Madrid, Spain, November 16-17, 2006.
Premio internacional BEST NEWCOMER AWARD en el 12th International Workshop on Functional and (Constraint) Logic Programming.
Mención especial en el Programa DOCENTIA de la Agencia Nacional de Evaluación de la Calidad y Acreditación (ANECA) por estar en el "5% de los profesores mejor valorados" con evaluación EXCELENTE de la Universidad Complutense de Madrid.
Licenciado en matemáticas, doctorado en sistemas informáticos y programación, experto en educación, y profesor universitario y de enseñanza secundaria, con fuerte vocación para la docencia en el área de las ciencias y la tecnología.
Amante de la enseñanza, el aprendizaje y la educación de las matemáticas y de la informática en todos sus niveles, comprometido con la innovación y la mejora de la calidad docente de la enseñanza pública y privada, tanto presencial como virtual.
Diploma de Excelencia Docente otorgado por el Rector de la Universidad Complutense de Madrid en reconocimiento a la labor docente desarrollada durante el curso académico 2013-2014, de acuerdo con los resultados obtenidos en el Programa Docencia del Vicerrectorado de Evaluación de la Calidad (Madrid, 26 de febrero de 2015).
Profesor del Departamento de Sistemas Informáticos y Computación de la Facultad de Informática de la Universidad Complutense de Madrid en los Grados en Ingeniería Informática, Ingeniería del Software e Ingeniería de Computadores.
Profesor en la Facultad de Ciencias Matemáticas en la Licenciatura en Matemáticas y en los Grados en Matemáticas, Estadística e Ingeniería Matemática.
Profesor Universitario en el Programa "Universidad para los Mayores" de la Universidad Complutense de Madrid.
Dirección de Trabajos Fin de Máster y Prácticum en el Máster en Investigación en Informática (Especialidad de Programación y Tecnología Software) y en el Máster en Formación del Profesorado de E.S.O. y Bachillerato, F.P. y Enseñanzas de Idiomas (Especialidad de Informática).
Miembro de la Comisión de Planes de Postgrado, Comisión Académica y Comisión Económica del Departamento de Sistemas Informáticos y Computación de la Universidad Complutense de Madrid.
Miembro de la Comisión de Selección encargada de resolver concursos de Profesores Ayudantes Doctores del Departamento de Sistemas Informáticos y Computación de la Universidad Complutense de Madrid.
Vocal del Tribunal de Pruebas de Acceso a los Estudios Universitarios de la Universidad Complutense de Madrid en las asignaturas "Matemáticas II" y "Matemáticas Aplicadas a las Ciencias Sociales".
Evaluación Excelente (92,30 / 100,00) de la Actividad Docente con Mención Especial "5% de los profesores mejor valorados" concedido por la Comisión de Calidad del Profesorado de la Universidad Complutense de Madrid dentro del Programa DOCENTIA de ANECA.
Máster en Investigación en Informática (Especialidad de Programación y Tecnología Software). Colaborador externo en la realización de Trabajos Fin de Master bajo la DIRECCIÓN y SUPERVISIÓN de Don FRANCISCO JAVIER LOPEZ FRAGUAS, director del Departamento de Sistemas Informáticos y Computación, y Don RAFAEL CABALLERO ROLDAN, Vicedecano de Ordenación Académica de la Facultad de Informática.
Máster en Formación del Profesorado de ESO y Bachillerato, Formación Profesional y Enseñanza de Idiomas. Profesor de la asignatura "Evolución de la Informática II". Dirección de Trabajos Fin de Grado y Practicum. Centro de Formación del Profesorado de la Facultad de Educación. Centros de Enseñanza Secundaria: I.E.S. Francisco de Quevedo (FP Informática y comunicaciones) e Iturralde (ESO y Bachillerato Matemáticas), y Colegio "La Inmaculada" Escolapias (ESO Matemáticas y Tecnología).
Miembro de Proyectos de Investigación Competitivos del Ministerio de Economía y Competitividad, Ministerio de Educación y Ciencia, Ministerio de Ciencia y Tecnología, Ministerio de Educación y Cultura, y Consejería de Educación de la Comunidad Autónoma de Madrid (Área de Tecnología de la Información y de las Comunicaciones).
Profesor de la Facultad de Informática, de la Facultad de Ciencias Matemáticas y de la Escuela Universitaria de Estadística en las titulaciones de "Ingeniería en Informática", "Ingeniería Técnica en Informatica de Sistemas", "Ingeniería Técnica en Informática de Gestión" y "Programa de Posgrado en Educación Matemática".
Profesor de las Facultades de Informática y Ciencias Matemáticas en los estudios "Ingeniería en Informática", "Ingeniería Técnica en Informática de Sistemas" e "Ingeniería Técnica en Informática de Gestión".