Departamento de Informática (UM)

Página institucional

1076

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

1076

José Francisco Creissac Freitas Campos

Prof. Associado com Agregação

Lógica e Métodos Formais

E-mail
Ext.: +604447

E7-2.25

Qualificações: 1991 - Licenciatura em Engenharia de Sistemas e Informática (U. Minho); 1993 - Mestrado em Informática (U. Minho); 2000 - DPhil (York, UK) em Ciências da Computação (University of York)

Página pessoal: http://www.di.uminho.pt/~jfc

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • M.D. Harrison, P. Masci and J.C. Campos. Balancing the formal and the informal in user centred design. Interacting with Computers, 33(1):55-72, January, 2021.
  • C. Silva, J. Vieira, J.C. Campos, R. Couto and A.N. Ribeiro. Development and validation of a Descriptive Cognitive Model for a Low Code Development Platform. Human Factors, 63(6):1012-1032. 2021.
  • J.C. Campos, C. Fayollas, M.D. Harrison, C. Martinie, P. Masci and P. Palanque. Supporting the analysis of safety critical user interfaces: an exploration of three formal tools. ACM Transactions on Computer-Human Interaction, 27(5), August, 2020.
  • M.D. Harrison, P. Masci and J.C. Campos. Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering, 45(8):802-822, August, 2019.
  • M.D. Harrison, L. Freitas, M. Drinnan, J.C. Campos, P. Masci, C. di Maria and M. Whitaker. Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine. Science of Computer Programming, 175:17-34, April. 2019.

Projetos

  • SpecRep (Constraint-based Specification Repair: FCT, EXPL/CCI-COM/1637/2021)
  • Participação em 20 projectos de I&D e de transferência de tecnologia nacionais (com responsabilidades de coordenação em 11 deles)

Docência

Regências:

Aulas:

  • Programação Orientada aos Objetos [8504P4]: turno PL 2
  • Tópicos Avançados em Engenharia de Sistemas Interativos [EE30EE3000B2D13896]: turnos PL 1 e T 1
  • Desenvolvimento de Sistemas de Software [J305N2]: turnos PL 2 e T 1
  • Interface Pessoa-Máquina [J306N1]: turnos PL 1 e T 1
  • Sistemas Interativos Confiáveis [ME78ME7800006557]: turnos PL 1 e T 1

Serviço

  • Membro das Direcções de Curso da Licenciatura em Ciências da Computação e do Porgrama Doutoral em Informática da U. Minho.
  • Presidente do Steering Committee da EICS: ACM SIGCHI Symposium on Engineering Interactive Computing Systems.
  • Membro de Editorial Board da revista Proceedings of the ACM on Human-Computer Interaction
  • Membro do Colégio de Avaliadores (MBIE College of Assessors) para o programa de financiamento Endeavour Fund, Nova Zelândia.

[ Quadro de todo o pessoal do DIUM ]