[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 reasoning techniques and tools. I currently chair the IFIP working group 2.7/13.4 on User Interface Engineering and the Steering Committee of ACM SIGCHI EICS.
Past research
Working with me
IFIP WG 2.7/13.4
FCT public key: J009310PW0L9
ORCID: 0000-0001-9163-580X
Recent Publications (see more...):
Balancing the formal and the informal in user centred design (Interacting with Computersvisit publisher  
Supporting the analysis of safety critical user interfaces: an exploration of three formal tools (ACM Transactions on Computer-Human Interactionvisit publisher   download  
Development and validation of a Descriptive Cognitive Model for a Low Code Development Platform (Human Factorsvisit publisher   download  
Verification Templates for the Analysis of User Interface Software Design (IEEE Transactions on Software Engineeringvisit publisher   download  
Current Projects:
DigiLightRail (Efacec)
Conferences (pc - programme committee / oc - organising committee):
18th IFIP TC13 International Conference on Human–Computer Interaction.(INTERACT 2021). Bari, Italy. August 30-September 3, 2021 [pc]
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2021). St. Louis, Missouri. October 10-13, 2021 [pc]
International Conference on Graphics and Interaction (ICGI’2021). Porto, Portugal. November 4-5, 2021 [pc]
Interacción 2020 - 21st international conference on Human-Computer Interaction. Malaga, Spain. September 23-25, 2020, 2021 [pc]
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]
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2022). Rome, Italy. September 12-16, 2022 [pc]
Know more here... (in portuguese)
jfc © 2020