[Photo - click for a different photo]
esta página em português ...
José Creissac Campos
Department of Informatics, School of Engineering, University of Minho
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
I am an Assistant Professor at the Department of Informatics of the University of Minho and a senior researcher at HASLab/INESC TEC. 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 am the current chair of IFIP working group 2.7/13.4 on User Interface Engineering.
Past research
Working with me
IFIP WG 2.7/13.4
FCT public key: J009310PW0L9
ORCID: 0000-0001-9163-580X
Locations of visitors to this page
Recent Publications (see more...):
The specification and analysis of use properties of a nuclear control system
Don't Go In There! Using the APEX framework in the design of ambient assisted living systems
Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web
Current Projects:
High-Assurance Medical Cyber-physical Systems (NanoStima - RL1.4) (P2020) [PI]
Trustworthy Software Design with Alloy (TRUST) (POCI-01-0145-FEDER-016826)
Current Supervisions (research proposals):
Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
Model-based software development (Rui Couto, PhD student)
High-assurance interactive computing systems (Saulo Silva, PhD student)
Conferences (pc - programme committee / oc - organising committee):
The 16th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2017) [pc/ac]
9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2017 [oc/general co-chair]
3nd International Workshop on User Interface Test Automation (INTUITEST 2017) [pc]
Know more here... (in portuguese)
jfc © 2010