[Photo - click for the photo]
[ EN -> PT ]

José Creissac Campos
Department of Informatics, School of Engineering, University of Minho & HASLab / INESC TEC
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail: jose.campos@di / Office: Bldg.7-2.25 / Tel.: +351 253 60 4447
My research interests focus on Interactive Systems Engineering, at the intersection of Formal Methods, Software Engineering, and Human-Computer Interaction. I have a particular interest in automated verification techniques and tools. I am a member of the IFIP working group 2.7/13.4 on User Interface Engineering, and of the ACM SIGCHI EICS Steering Committee, which I currently chair. I serve in the editorial board of the Proceedings of the ACM on Human-Computer Interaction journal.
Past research
Working with me
IFIP WG 2.7/13.4
FCT public key: J009310PW0L9
ORCID: 0000-0001-9163-580X
Recent Publications (see more...):
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
Current Projects:
SpecRep – Constraint-Based Specification Repair (FCT EXPL/CCI-COM/1637/2021)
DLR - DigiLightRail (Efacec)
Conferences (pc - programme committee / oc - organising committee):
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]
Object-Oriented Programming - LCC/LEI (2o. ano)
Software Systems Development - LEI (3o. ano)
Human-Machine Interfaces - LEI (3o. ano)
High-Assurance Interactive Systems - MEI (1o. ano)

jfc © 2022