José C. Campos

ORCID iD
https://orcid.org/0000-0001-9163-580X
  • Also known as
  • Show details Hide details
José Creissac Campos

Sources:
José C. Campos (2014-10-15)

  • Country
  • Show details Hide details
Portugal

Sources:
José C. Campos (2016-01-24)

  • Keywords
  • Show details Hide details
Human-Computer Interaction,

Sources:
José C. Campos (2013-11-16)

Formal Methods,

Sources:
José C. Campos (2013-11-16)

Software Engineering

Sources:
José C. Campos (2013-11-16)

  • Websites
  • Show details Hide details
Personal page

Sources:
José C. Campos (2014-10-15)

  • Other IDs
  • Show details Hide details
ResearcherID: B-2506-2008

Sources:
ResearcherID (2013-10-07)

Scopus Author ID: 7201617369

Sources:
Scopus - Elsevier (2013-11-15)

AuthenticusID: R-000-8B9

Sources:
Authenticus (2018-01-17)

Biography

I am an assistant professor at the Department of Informatics of Universidade do Minho and a researcher at HASLab/INESC TEC. I hold a Ph.D. in Computer Science from The University of York, and I have been working on the application of formal software engineering techniques and tools to the modelling and analysis of interactive systems for over 15 years. I am particularly interested in bringing closer the software engineering (SE) and human-computer interaction (HCI) fields. Current and recent funded research includes: model-based testing of user interfaces; prototyping of ambience intelligence systems using virtual reality simulations; reverse engineering for the analysis and transformation of the user interface layer of software systems; formal modelling and analysis of interactive systems; and model checking of the control logic of industrial machinery. I am a member of IFIP WG 2.7/13.4 on User Interface Engineering, which I currently chair, and a Senior Member of ACM. Among other roles, I was general co-chair for EICS 2012 and 2017, program chair for EICS 2016 and tutorials co-chair for INTERACT 2011. I serve in the steering committee of the EICS series of conferences and in the editorial board of Proceedings of the ACM on Human-Computer Interaction.

Record last modified {{lastModifiedDate}}