[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 presidente 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
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
Systematic Automation of Scenario-Based Testing of User Interfaces
Modelling information resources and their salience in medical device design
Supervisões (propostas de projecto):
Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
Model-based software development (Rui Couto, PhD student)
High-assurance interactive computing systems (Saulo Silva, PhD student)
Projectos a decorrer:
High-Assurance Medical Cyber-physical Systems (NanoStima - RL1.3) (P2020) [PI]
Conferências (pc - comité de programa / oc - comité de organização):
The Sixth Mexican Conference on Human-Computer Interaction (MEXIHC 2016) [pc]
The 31st ACM Symposium on Applied Computing (ACM SAC 2016) / Software Engineering Track [pc]
8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2016) [oc/pc co-chair]
4th International Conference on Distributed, Ambient and Pervasive Interactions [pc]
36th IEEE Software Engineering Workshop [pc]
2nd International Workshop on User Interface Test Automation (INTUITEST 2016) [pc]
3rd Workshop on Formal Integrated Development Environment (Formal-IDE 2016) [pc]
The 16th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2017) [pc/ac]
jfc © 2010