[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
Layers, resources and property templates in the specification and analysis of two interactive systems
Formal Verification of a Space System's User Interface with the IVY workbench
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):
EPCGI'15 - Encontro Portugues de Computação Gráfica e Interação 2015 [pc]
2nd Workshop on Formal-IDE (at FM 2015) [pc]
7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems [oc/lbr co-chair, pc]
15th IFIP TC.13 International Conference on Human-Computer Interaction - INTERACT 2015 [pc]
CLICH 2015 - 7th Latin American Conference on Human Computer Interaction [pc]
Know more here... (in portuguese)
jfc © 2010