[Photo - click para ver]
[UM][EEng][HASLab/INESC TEC]
[ 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: jose.campos@di / Gabinete: Edf.7-2.25 / Tel.: +351 253 60 4447
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 verifica&ccdeil;ão. Sou membro do grupo de trabalho IFIP WG 2.7/13.4 on User Interface Engineering e do comité de steering da ACM SIGCHI EICS, a que actualmente presido. Faço parte do conselho editorial da revista Proceedings of the ACM on Human-Computer Interaction.
Ensino
Licenciatura e Mestrado
Programação Orientada aos Objectos - LCC/LEI (2o. ano)
Desenvolvimento de Sistemas de Software - LEI (3o. ano)
Interface Pessoa-Máquina - LEI (3o. ano)
Pós-graduação
Sistemas Interativos Confiáveis - MEI (1o. ano)
Investigação
Investigação passada
Trabalhar comigo
HCIspecs
IFIP WG 2.7/13.4
Chave pública FCT: J009310PW0L9
ORCID: 0000-0001-9163-580X
CV: CIÊNCIAVITÆ
Publicações recentes (ver mais...):
Assessing the impact of hints in learning formal specification (ICSE-SEET 2024
An Online Repository for Educational Resources in HCI-Engineering (Engineering Interactive Computer Systems
Explaining temporal logic model checking counterexamples through the use of structured Natural Language (Engineering Interactive Computer Systems
Projectos a decorrer:
SpecRep – Constraint-Based Specification Repair (FCT EXPL/CCI-COM/1637/2021)
DLR - DigiLightRail (Efacec)
Conferências (pc - comité de programa / oc - comité de organização):
27th Annual Conference on Intelligent User Interfaces (IUI 2022). University of Helsinki, Finland March 22-25, 2022 [senior pc]
The 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022). Sophia Antipolis, France. June 21-24, 2022 [oc]
Interacción 2022 - XXII international conference on Human-Computer Interaction. Teruel, Spain. September 7-9, 2022 [pc]
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2022). Rome, Italy. September 12-16, 2022 [pc]
9th International Conference on Rigurous State Based Methods (ABZ 2023). Nancy, France. May 30-June 2, 2023 [pc/oc]

jfc © 2022