José Creissac Campos (Home Page)

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. Among other roles, I am a member of the IFIP TC 13 on Human-Computer Interaction, and of the ACM SIGCHI EICS Steering Committee.

Research

Past research
FCT public key: J009310PW0L9
ORCID: 0000-0001-9163-580X
CV: CIÊNCIAVITÆ

Recent Publications (see more...): 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)
Tools: 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
Working groups: IFIP WG 2.7/13.4 on User Interface Engineering; IFIP WG 13.11/12.14 on Human-Centered Intelligent Systems (HCISS)

Teaching

Licentiate: Human-Computer Interaction - LEI (2nd year); Object-Oriented Programming - LCC/LEI (2nd year); Software Systems Development - LEI (3rd year)
Masters: High-Assurance Interactive Systems - MEI (1st year)

Academic Service

Service history

Leadership: Director, BSc in Informatics Engineering, University of Minho; Deputy Director, INESC TEC Hub at the University of Minho - INESCTEC.UMINHO
Academic Programme Committees: PhD Programme in Informatics, University of Minho; MSc in Informatics Engineering, University of Minho
Scientific Service: National Representative for Portugal, IFIP TC13 – Human-Computer Interaction; Steering Committee, ACM SIGCHI EICS; Track Editorial Board, ACM PACMHCI
Conference Programme Committees: ACM SIGCHI EICS 2026; ACM SAC 2026: SE Track
Conference Organizing Committees: Workshop co-organizer, EISEAIT @ EICS 2026; Track chair, IFIP INTERACT 2025; PC chair, ICGI 2025; Workshop co-organizer, EMUXAI @ INTERACT 2025