[Photo - click for a different photo]
[UM][EEng]
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.
Research
Publications (full list)
Citations
Past research
Working with me
HCIspecs
FlexiXML
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...):
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
Templates as heuristics for proving properties of medical devices
Demonstrating that medical devices satisfy user related safety requirements
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]
Lectures
Know more here... (in portuguese)
jfc © 2010