[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: Ei 2.10 / Tel.: +351 253 60 4447 / Fax.: +351 253 60 4471
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...):
Verification of Railway Network Models with EVEREST (MODELS '22visit publisher  
Balancing the formal and the informal in user centred design (Interacting with Computersvisit publisher  
Development and validation of a Descriptive Cognitive Model for a Low Code Development Platform (Human Factorsvisit publisher   download  
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