Department of Informatics, School of Engineering, University of Minho
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail: / Office: Ei 2.10 / Tel.: +351 253 60 4447 / Fax.: +351 253 60 4471

I am an Assistant Professor at the Department of Informatics of the University of Minho and a senior researcher at HASLab/INESC TEC. My research interests lie in the intersection of Formal Methods, Software Engineering, and Human-Computer Interaction. I have a particular interest in automated reasoning techniques and tools. I am the current chair of IFIP working group 2.7/13.4 on User Interface Engineering.