Investigador do INESC TEC visita Universidade do País Basco

José Creissac Campos, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente da Universidade do Minho, visitou, de 26 a 29 de novembro, o Laboratório de Interação Humano-Computador para Necessidades Especiais, que faz parte da Universidade do País Basco, onde promoveu a área de trabalho em métodos formais.

O Laboratório de Interação Humano-Computador para Necessidades Especiais tem como objetivo aplicar as novas tecnologias de informação e comunicação para resolver problemas de comunicação e mobilidade das pessoas com deficiência, contribuindo para o aumento da autonomia pessoal e integração no emprego e na sociedade destas pessoas.

Esta visita ocorreu no seguimento do convite feito pelo Laboratório de Interação Humano-Computador para Necessidades Especiais ao investigador, com o intuito de promover uma palestra sobre “Engineering Safer Interactive Computing Systems”, bem como lecionar uma aula ao Mestrado em Engenharia de Sistemas Embebidos sobre “User Interface Modelling and Analysis with the IVY Workbench”.

O investigador mencionado na notícia tem vínculo à UMinho.