José C. Campos

ORCID iD
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:
Clarivate Analytics (2013-10-07)

Scopus Author ID: 7201617369

Sources:
Scopus to ORCID (2013-11-15)

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. Among other roles, I was general co-chair for EICS 2012 and tutorials co-chair for INTERACT 2011, and I serve in the steering committee of the EICS series of conferences.
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No Funding added yet
No publications added yet