[Photo - click for a different photo]
esta página em português ...
José Creissac Campos
Department of Informatics, School of Engineering, University of Minho
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail: jose.campos@di / 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 currently a member of the IFIP working group 2.7/13.4 on User Interface Engineering.
Publications (full list)
Past research
Working with me
IFIP WG 2.7/13.4
FCT public key: J009310PW0L9
ORCID: 0000-0001-9163-580X
Locations of visitors to this page
Recent Publications (see more...):
Demonstrating that medical devices satisfy user related safety requirements
Templates as heuristics for proving properties of medical devices
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
Current Projects:
Languages and Tools for Critical Real Time Systems (ON.2, started 01/01/2013 - 2.5 years) [PI]
PBGT - Pattern Based GUI Testing (FCT, started 01/04/2012 - 3 years)
Current Supervisions (research proposals):
User Interface Migration and Adaptation (Carlos E Silva, PhD student)
Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
Model-based software development (Rui Couto, PhD student)
Conferences (pc - programme committee / oc - organising committee):
The 31st ACM Symposium on Applied Computing (ACM SAC 2016) / Software Engineering Track [pc]
8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems [oc/pc co-chair]
4th International Conference on Distributed, Ambient and Pervasive Interactions [pc]
Know more here... (in portuguese)
jfc © 2010