[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 a lecturer at the Department of Informatics of the University of Minho and a researcher at HASLab/INESC TEC. My research interests lie in the intersection of Formal Methods, Software Engineering, and Human-Computer Interaction. I have a particular interest in automated reasoning techniques and tools. I am currently a member of the IFIP working group 2.7/13.4 on User Interface Engineering.
Publications (full list)
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...):
Demonstrating that medical devices satisfy user related safety requirements
Design and Evaluation of a Smart Library using the APEX Framework
Application of Ontologies in Identifying Requirements Patterns in Use Cases
Current Projects:
Languages and Tools for Critical Real Time Systems (ON.2, started 01/01/2013 - 2.5 years) [PI]
PBGT - Pattern Based GUI Testing (FCT, started 01/04/2012 - 3 years)
APEX - Agile Prototyping for user EXperience (FCT, started 01/02/2011 - 3 years) [PI]
Current Supervisions (research proposals):
Avaliação de usabilidade em plataformas educativas (Luciana Freire, PhD student)
User Interface Migration and Adaptation (Carlos E Silva, PhD student)
Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
Model-based software development (Rui Couto, PhD student)
Conferences (pc - programme committee / oc - organising committee):
HCI Engineering 2014 - Charting the Way towards Methods and Tools for Advanced Interactive Systems [oc]
MexIHC 2014 - V Mexican Conference on Human-Computer Interaction [pc]
HCSE 2014 - 5th International Conference on Human-Centered Software Engineering [pc]
EICS 2014 - 6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems [pc]
FMCICA 2014 : Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance Workshop [pc]
CHI 2014 - ACM SIGCHI Conference on Human Factors in Computing Systems [wip pc]
ERGOdesign-USIHC-2014 [pc]
EPCG'2014 - 21º Encontro Português de Computação Gráfica [pc]
Know more here... (in portuguese)
jfc © 2010