![[Photo - click para ver]](images/jfc-haslab-2022.jpg)
![[UM]](images/corReitoria50.gif)
![[EEng]](images/eng50.gif)
[ PT → EN ]
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:
/ Gabinete: Edf.7-2.25 / Tel.: +351 253 60 4447
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail:
/ Gabinete: Edf.7-2.25 / Tel.: +351 253 60 4447Os 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 verificação. Entre outros papeis, sou membro do comité tecnico TC 13 on Human-Computer Interaction, da IFIP, e do comité de steering da ACM SIGCHI EICS.
- Licenciatura e Mestrado
- Interface Pessoa-Máquina - LEI (2o. ano)
- Programação Orientada a Objectos - LCC/LEI (2o. ano)
- Desenvolvimento de Sistemas de Software - LEI (3o. ano)
- Pós-graduação
- Sistemas Interativos Confiáveis - MEI (1o. ano)
- Investigação passada
- Chave pública FCT: J009310PW0L9
- ORCID: 0000-0001-9163-580X
- CV: CIÊNCIAVITÆ
- Publicações recentes (ver mais...)
- Proving Use Requirements of Interactive Systems with Remote Monitoring and Control Capabilities (Proc. ACM on HCI)
- Beyond Do-They-Look-the-Same? to Do-They-Behave-The-Same?: Similarity Analysis and Assessment Across Interactive Critical Systems Behaviours (Proc. ACM on HCI)
- AI in Formal IDEs: Improving Usability or Undermining Trust? (Blending Experiences in Interaction Design)
- On the use of LLMs to explain model checking counterexamples (Engineering Interactive Computer Systems)
- Ferramentas
- IVY workbench - A tool for model checking interactive systems
- HCIspecs - A repository of formal models of interactive systems
- Anima - An online animator for Alloy instances
- Grupos de trabalho
- IFIP WG 2.7/13.4 on User Interface Engineering
- IFIP WG 13.11/12.14 on Human-Centered Intelligent Systems (HCISS)
- Serviço académico anterior
- Liderança
- Diretor de curso, Licenciatura em Engenharia Informática, Universidade do Minho
- Diretor-adjunto, Polo INESC TEC na Universidade do Minho - INESCTEC.UMINHO
- Comissões de curso
- Programa Doutoral em Informática, Universidade do Minho
- Mestrado en Engenharia Informática, Universidade do Minho
- Serviço à comunidade científica
- Representante nacional no IFIP TC13 - Human-Computer Interaction
- Steering Committee, ACM SIGCHI EICS
- Track Editorial Board, ACM PACMHCI
- Comités de programa de conferências
- ACM SIGCHI EICS 2026
- ACM SAC 2026: SE Track
- Organização de conferências
- Workshop co-organizer, EISEAIT @ EICS 2026
- Track chair, IFIP INTERACT 2025
- PC chair, ICGI 2025
- Workshop co-organizer, EMUXAI @ INTERACT 2025