Profesorado

JOSE GAINTZARAIN IBARMIA

Licenciado en Informática (1993). Doctor en Informática (2012) con Mención Internacional y Premio Extraordinario de Doctorado.



Profesor en la UPV/EHU desde 1993: Profesor Titular de Escuela Universitaria desde 2004 hasta 2014; Profesor Titular de Universidad desde 2014.



Coordinador de la Sección Departamental de Lenguajes y Sistemas Informáticos de la Escuela de Ingeniería de Bilbao (2012- 2015).



Coautor de varios artículos científicos publicados en revistas internacionales. Coautor de varias contribuciones en congresos nacionales e internacionales. Un sexenio de investigación reconocido por la CNEAI (Comisión Nacional Evaluadora de la Actividad Investigadora, Ministerio de Educación del Gobierno de España). Estancia de investigación de cuatro meses en la Universidad de Westminster (Londres, Reino Unido, 2009-2010). Miembro del grupo de investigación LoRea (Logic and Reasoning) de la UPV/EHU durante varios años. Participante en distintos proyectos de investigación a lo largo de varios años.



Coautor de dos libros --uno en castellano (2015) y otro en vasco (2016)-- relacionados con la actividad docente: Especificación, verificación y derivación formal de programas.



Líneas de investigación: Lógica matemática; métodos formales (matemáticos) en las ciencias de la computación; documentación, especificación, verificación y derivación formal de programas.



Reconocimiento de capacitación para impartir docencia en castellano, inglés y vasco.