RAFAEL DEL VADO VÍRSEDA

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.

Experiencia

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

Detalles sobre la experiencia

Software Tools and Multiparadigm Programming - Fundamentos y Aplicaciones de las Tecnologías Software Declarativas (FAST - STAMP). Programa Nacional del Ministerio de Educación y Ciencia. TIN2008-06622-C03-01/TIN.
Programa de Métodos Rigurosos de Desarrollo de Software (PROMETIDOS). Proyecto de la Comunidad Autónoma de Madrid, Consejería de Educación. Área de Tecnología de la Información y de las Comunicaciones. S2009/TIC-1465.
Métodos Rigurosos para Sistemas Software Heterogéneos y Móviles - Métodos Formales en Sistemas Software Heterogéneos (MERIT - FORMS). Proyecto del Ministerio de Educación y Ciencia. Programa Nacional de Investigación Científica, Desarrollo e Innovación Tecnológica. MEC, TIN2005-09207-C03-03.
Programa en Métodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro (PROMESAS). Proyecto de la Comunidad Autónoma de Madrid, Consejería de Educación. Área de Tecnología de la Información y de las Comunicaciones. CAM, S-0505/TIC/0407.
Métodos y Herramientas Lógicas para el Diseño y la Verificación de Software Multiparadigma (MELODIAS). Proyecto del Ministerio de Ciencia y Tecnología. Programa Nacional de Tecnología de la Información y de las Comunicaciones. Plan Nacional de I+D PRONTIC. CICYT, TIC2002-01167
Grupo de Programación Declarativa (GPD). Grupos de Investigación de la Universidad Complutense de Madrid. UCM-BSCH-GR35/10-A-910502

¡Tu navegador no está actualizado!

Currículum Vitae

Tareas de Investigación