Researcher of HASLab promotes formal methods in the University of the Basque Country

Between 26 and 29 November, José Creissac Campos, senior researcher of HASLab and Professor at the University of Minho, visited the Laboratory of Human-Computer Interaction for Special Needs that is part of the University of the Basque Country, where he promoted the field of work in formal methods.

The Laboratory of Human-Computer Interaction for Special Needs aims to apply new information and communication technologies in order to solve communication and mobility problems of people with disabilities, thus contributing to the increase of their personal autonomy and their integration in employment and in society. 

Following the invitation from the Laboratory of Human-Computer Interaction for Special Needs to INESC TEC's researcher, the visit took place in order to promote a lecture on “Engineering Safer Interactive Computing Systems”, as well as to lecture a class about “User Interface Modelling and Analysis with the IVY Workbench” to the Master’s Degree in Embedded Systems Engineering.