[Photo - click para ver]
[UM][EEng]
this page in English ...
José Creissac Campos
Departamento de Informática, Escola de Engenharia, Universidade do Minho
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail: jose.campos@di / Gabinete: Ei 2.10 / Tel.: +351 253 60 4447 / Fax.: +351 253 60 4471
Sou Professor Auxiliar no Departamento de Informática da Universidade do Minho e investigador sénior do HASLab/INESC TEC. Os meus interesses de investigação situam-se na intersecção dos Métodos Formais, da Engenharia de Software e da Interacção Humano-Computador. Tenho especial interesse em técnicas e ferramentas de análise. Sou membro efectivo do grupo de trabalho IFIP WG 2.7/13.4 on User Interface Engineering.
Ensino
Pós-graduação
Engenharia de Aplicações/Sistemas Interactivos - MI/MEI
Interactive Computing Systems - MAPi (2014/15)
Proposal | Watch the presentation...
Licenciatura
Desenvolvimento de Sistemas Software - LEI
Investigação
Publicações (lista completa)
Citações
Investigação passada
Trabalhar comigo
HCIspecs
FlexiXML
IFIP WG 2.7/13.4
Chave pública FCT: J009310PW0L9
ORCID: 0000-0001-9163-580X
Publicações recentes (ver mais...):
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
Supervisões (propostas de projecto):
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)
Projectos a decorrer:
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)
Conferências (pc - comité de programa / oc - comité de organização):
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]
jfc © 2010