Teaching staff
JOSE GAINTZARAIN IBARMIA
- Knowledge area
- Computer Languages and Systems
- Department
- Computer Languages and Systems
- Centre
- Faculty of Engineering - Bilbao
- Electronic mail
- jose.gaintzarain@ehu.eus
Bachelor of Science (B.Sc.) in Computer Science (1993). PhD in Computer Science (2012) with International Mention and Extraordinary PhD Award.
Teacher at the University of the Basque Country (UPV/EHU) since 1993: Permanent Teacher since 2004.
Coordinator, at the Faculty of Engineering of Bilbao, of the section of the Computer Languages and Systems Department (2012-2015).
Coauthor of some scientific articles published in international journals. Coauthor of some contributions to national and international conferences. Scientific six-year-term work recognized by CNEAI (Comisión Nacional Evaluadora de la Actividad Investigadora, National Commettee for the Evaluation of the Research Activity, Education Ministry, Government of Spain). Four-months research stay at the University of Westminster (London, United Kingdom, 2009-2010). Member of the research group LoRea (Logic and Reasoning) of the UPV/EHU for some years. Participant in some research projects for some years.
Coauthor of two books --one in Castilian (2015) and the other in Basque (2016)-- related to the teaching activity: Formal specification, verification and derivation of computer programs.
Research interests: Mathematical logic; formal (mathematical) methods in computer science; formal documentation, specification, verification and derivation of computer programas.
Permission to teach in Basque, Castilian and English.