![[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...):
- Automated theorem proving for the systematic analysis of interactive systems
- Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications
- A Specification Patterns System for Discrete Event Systems' Analysis
- Reusing models and properties in the analysis of similar interactive devices
- Current Projects:
- PROVA - Platform for Software Verification and Validation (AdI)
- 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)
- 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):
- 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)
- Mode-based software development (Rui Couto, PhD student)
- Conferences (pc - programme committee / oc - organising committee):
- CHI 2013 - ACM SIGCHI Conference on Human Factors in Computing Systems [wip pc]
- EICS 2013 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems [oc]
- INTERACT 2013 - 14th IFIP TC13 Conference on Human-Computer Interaction [pc]
- FMIS 2013 - Formal Methods for Interactive Systems [pc]
- Know more here... (in portuguese)