People

José C. Campos is an Associate Professor at UMinho and research coordinator at INESC TEC. His research interests lie in the intersection of Formal Methods, Software Engineering, and Human-Computer Interaction. (learn more)

João Linhares is an MSc student working on widgets for linking user interfaces prototypes with formal models of medical devices.

Francisca Mieiro is an MSc student working on assessing the performance of web animations.

Michael D. Harrison is an Emeritus Professor at Newcastle University and a long time collaborator. Most of his research is concerned with modelling and analysis of interactive devices. (learn more)

Rui Couto was a PhD student and a post-doctoral researcher working on pattern-based software development. He left to OutSystems.

Paolo Masci was a post-doctoral researcher working on V&V of medical device systems. He left to NIA.

Carlos C.L. Silva was a PhD student and external collaborator. His PhD thesis was on VR-based immersive prototyping, with a particular focus on sound. He left to OutSystems.

Carlos E. Silva was a PDh student working on reverse engineering of Web applications. He left to Altran.

José Luís Silva was a PDh student working on Ubicomp prototyping. He left to IRIT and is now with ISCTE-UIL.

João Carlos Silva was a PDh student working on reverse engineering of Java applications. He is with IPCA.

André Pinto was a MSc student developing mobile simulations of medical devices.

José Carlos Gonçalves was a MSc developing widgets for user interfaces prototyping.

Tiago Carvalheira was a MSc student developing widgets for user interfaces prototyping.

Pedro Vale was a MSc student developing model-based testing techniques for mobile applications.

Ricardo Ferreira was a MSc student developing a framework for hybrid (native+web) applications.

Saulo Rodrigues worked on is PhD within the group in 2017. His research topic was the modelling of safety critical interactive systems. He left to Algoritmi.

Marcelo Gonçalves was a MSc student working on the model-based testing of user interfaces.

Pedro Machado was a MSc student at HASLab/INESC TEC working on safety critical interactive systems' modelling.

Henrique Pacheco was a MSc student at HASLab/INESC TEC working on interactive systems' prototyping.

Miguel Pinto was a MSc student working on the model-based testing of user interfaces.