![[Photo - click for a different photo]](images/jfc08m.JPG)
![[UM]](images/corReitoria50.gif)
![[EEng]](images/eng50.gif)
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:
/ Office: Ei 2.10 / Tel.: +351 253 60 4447 / Fax.: +351 253 60 4471
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail:
/ Office: Ei 2.10 / Tel.: +351 253 60 4447 / Fax.: +351 253 60 4471I 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)
- Citations
- Past research
- Working with me
- HCIspecs
- FlexiXML
- IFIP WG 2.7/13.4
- FCT public key: J009310PW0L9
- Recent Publications (see more...):
- Modelling and systematic analysis of interactive systems
- Formal analysis of Ubiquitous Computing environments through the APEX framework
- A literature review about usability evaluation methods for e-learning platforms
- Current Projects:
- PBGT - Pattern Based GUI Testing (FCT, started 01/04/2012 - 3 years)
- APEX - Agile Prototyping for user EXperience (PI - FCT, started 01/02/2011 - 3 years)
- Verification and Validation of Software Systems for Space Projects (IAE/AEB, started 01/10/2010)
- CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software (FCT, started 15/03/2010)
- SSaaPP - Spreadsheets as a Programming Paradigm (FCT, started 01/05/2010)
- Current Supervisions (research proposals):
- An infrastucture for experience centred agile prototyping of ambient intelligence. (José Luís Silva, PhD student)
- 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)
- Concepção da CAZ Framework (Miguel Esteves, MSc student)
- Conferences (pc - programme committee / oc - organising committee):
- Formal H - Workshop on Formal Methods in Human-Machine Interaction [pc]
- EICS 2012 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems [oc/chair]
- HCSE 2012 - IFIP Conference on Human-Centered Software Engineering [pc]
- XX Encontro Português de Computação Gráfica [pc]
- 1st Joint Conference Interacción & MexIHC 2012 [pc]
- SEW 35 - 35th Annual IEEE Software Engineering Workshop [pc]
- Know more here... (in portuguese)