[Photo - click para ver]
[UM][EEng][HASLab/INESC TEC]
this page in English ...
José Creissac Campos
Departamento de Informática, Escola de Engenharia, Universidade do Minho & HASLab / INESC TEC
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
Os meus interesses de investigação centram-se na Engenharia de Sistemas Interactivos, 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 e Membro Sénior da ACM.
Ensino
Em licença sabática
Investigação
Investigação passada
Trabalhar comigo
HCIspecs
IFIP WG 2.7/13.4
Chave pública FCT: J009310PW0L9
ORCID: 0000-0001-9163-580X
Publicações recentes (ver mais...):
Verification Templates for the Analysis of User Interface Software Design (IEEE Transactions on Software Engineeringvisit publisher   download  
Improving traces visualisation through layout managers (ICGI 2018 - 1st International Conference on Graphics and Interaction
Towards a Simulation-Based Medical Education Platform for PVSio-Web (ICGI 2018 - 1st International Conference on Graphics and Interaction
Supervisões (propostas de projecto):
Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
Projectos a decorrer:
High-Assurance Medical Cyber-physical Systems (NanoStima - RL1.4) (P2020) [PI]
Trustworthy Software Design with Alloy (TRUST) (POCI-01-0145-FEDER-016826)
OutSystems Learnability Model (OutSystems)
Conferências (pc - comité de programa / oc - comité de organização):
International Conference on Graphics and Interaction - 2018 (ICGI 2018) [pc]
3rd World Congress on Formal Methods (FM 2019) [oc]
The 24rd ACM Conference on Intelligent User Interfaces (ACM IUI 2019) [pc]
The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (ACM EICS 2019) [pc]
The 34rd ACM/SIGAPP Symposium on Applied Computing (ACM SAC 2019) / Software Engineering Track [pc]
The 17th IFIP TC.13 International Conference on Human-Computer Interaction - INTERACT 2019 [pc]
2nd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS 2019) [pc]
8th Formal Methods for Interactive Systems workshop (FMIS 2019) (co-located with FM 2019) [oc]
jfc © 2010