¡Tu navegador no está actualizado!

Actualiza tu navegador para garantizar que tienes la mejor experiencia y seguridad posibles. Actualizar ahora

×

RAFAEL DEL VADO VÍRSEDA

Currículum Vitae

Profesor de Matemáticas
Profesor de Informática
Mathematics Education
Computer Science Education
Doctor en Ciencias
Inicio Experiencia Formación Competencias Portafolios Intereses
Descargar mi CV en formato PDF
RAFAEL DEL VADO VÍRSEDA
Madrid España
Contáctame
Status profesional
Asalariado
Disponible
Sobre mi

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.
Competencias

Algunas Publicaciones en Revistas de Investigación

  • 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.

Libros de Investigación Publicados

  • "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.

Libros Docentes Publicados

  • Lógica matemática para informáticos: Ejercicios resueltos. Editorial Prentice Hall, Pearson Educación, Colección Prentice Práctica, 2008. ISBN: 978-­84-­8322-­454-­0.
  • 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.

Participación en Comités Internacionales

  • Editorial Board of the International Journal on Advances in Software. ISSN: 1942-2628.
  • Technical Program Committee of the International Conference on Creative Content Technologies.
  • Technical Program Committee of the International Conference on Computational Intelligence and Software Engineering.
  • Technical Program Committee of the 22nd International Workshop on Unification.

Organización de Congresos, Seminarios, Cursos y Jornadas

  • "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.

Premios y Menciones

  • 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.
twitter facebook linkedin