Identificação
Identificação pessoal
- Nome completo
- José Carlos Medeiros de Campos
- Género
- Masculino
Nomes de citação
- Campos, José
Identificadores de autor
- Ciência ID
- EE17-7387-1939
- ORCID iD
- 0000-0001-7565-8382
Endereços de correio eletrónico
- jcmc@fe.up.pt (Profissional)
Moradas
- Faculdade de Engenharia da Universidade do Porto, Rua Dr. Roberto Frias, s/n, 4200-465, Porto, Porto, Portugal (Profissional)
Websites
- http://jose.github.io/ (Profissional)
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português (Idioma materno) | |||||
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) |
Formação
Grau | Classificação | |
---|---|---|
2018
Concluído
|
Computer Science (Doctor of Philosophy)
The University of Sheffield Department of Computer Science, Reino Unido
"Search-based Unit Test Generation for Evolving Software" (TESE/DISSERTAÇÃO)
|
|
2013
Concluído
|
Engenharia Informática e Computação (Mestrado integrado)
Universidade do Porto Faculdade de Engenharia, Portugal
|
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2019/09 - Atual | Investigador (Investigação) | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal | ||
2018/11/01 - 2019/08/31 | Pós-doutorado (Investigação) | University of Washington Department of Computer Science and Engineering, Estados Unidos |
2012/06 - 2013/11 | Assistente de Investigação (carreira) (Investigação) | Universidade do Porto Faculdade de Engenharia, Portugal |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2022/02/03 - Atual | Professor Auxiliar (Docente Universitário) | Universidade do Porto Faculdade de Engenharia, Portugal |
Universidade do Porto Faculdade de Engenharia, Portugal | ||
2019/09/01 - 2022/02/02 | Professor Auxiliar (Docente Universitário) | Universidade de Lisboa Faculdade de Ciências, Portugal |
2014/09 - 2017/01 | Professor Auxiliar Convidado (Docente Universitário) | The University of Sheffield Department of Computer Science, Reino Unido |
2010/02 - 2010/06 | Professor Auxiliar Convidado (Docente Universitário) | Universidade do Porto Faculdade de Engenharia, Portugal |
Outros
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2019/09 - Atual | Integrated member | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
Universidade de Lisboa Faculdade de Ciências, Portugal |
Projetos
Bolsa
Designação | Financiadores | |
---|---|---|
2022/07 - Atual | Resource Aware Programming (RAP)
EXPL/CCI-COM/1306/2021
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia
Em curso
|
2023/01 - 2023/06 | Assessing the Effectiveness of Defect Prediction-based Unit Tests at Localizing Faults
2022.15773.CPCA.A1
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia Rede Nacional de Computação Avançada |
2021/01 - 2021/06 | Modeling Variable Identifiers to Improve the Adoption of Automatically Generated Unit Tests
CPCA/A0/7408/2020
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia Rede Nacional de Computação Avançada Concluído
|
2021/01 - 2021/01 | Bio-inspired Optimization Algorithms for Unit Test Generation
CPCA/A0/7402/2020
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia Rede Nacional de Computação Avançada Concluído
|
2019/05 - 2020/05 | Generating Unit Tests with Descriptive Variable Identifiers
UW-IDENTIFIERS-2019
Investigador responsável
University of Washington Department of Computer Science and Engineering, Estados Unidos
|
University of Washington Department of Computer Science and Engineering
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Capítulo de livro |
|
Poster em conferência |
|
Resumo em conferência |
|
Tese / Dissertação |
|
Outros
Conjunto de dados |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2021 - 2022 | Fault Revealing Test Oracles, Are We There Yet? Evaluating The Effectiveness Of Automatically Generated Test Oracles On Manually-Written
And Automatically Generated Unit Tests
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2022 | Automatic Generation of Smell-free Unit Tests
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2022 | An Exploratory Study on the Usage of Quantum Programming Languages
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2022 | Automatic Generation of Energy Efficient System Tests
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2022 | Fine-grained Analysis of Bugs in Open Source Quantum Projects
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2020 - 2021 | Semantic Conflicts in Version Control Systems
Coorientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2020 - 2021 | Mutation Testing of Quantum Programs
Coorientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2020 - 2021 | Bio-inspired Optimization Algorithms for Unit Test Generation
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2020 - 2021 | Modeling Variable Identifiers to Improve the Adoption of Automatically Generated Unit Tests
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2019 - 2021 | Ler bem, escrever melhor: o papel da leitura de código na estruturação do Pensamento Computacional
Orientador
|
Informática e Educação (Mestrado)
Universidade de Lisboa Instituto da Educação, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal |
2019 - 2020 | Ingredientes para um dia em grande - Edição de Vídeo e Som Tecnologias de Informação e Comunicação
Orientador
|
Informática e Educação (Mestrado)
Universidade de Lisboa Instituto da Educação, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal |
2019 - 2020 | Segurança, Privacidade e Tratamento de Dados: GDPR e a Sistematização da Informação Abrangida em Ambiente Corporativo
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2019 - 2020 | Automatização dos Processos de Produção e Distribuição de Pacotes de Actualização
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2014/09 - 2015/07 | A Multi-Objective Optimization Approach to Test Suite Reduction
Coorientador
|
Engenharia Informática (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2013/09 - 2014/07 | A Defining a Test Automation System for Mobile Apps
Coorientador
|
Engenharia Informática (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2012/09 - 2013/07 | Automatic Debugging of Android Applications
Coorientador
|
Engenharia Informática (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2012/09 - 2013/07 | Generating Asserts for Test Cases Efficiently
Coorientador
|
Engenharia Informática (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2012/09 - 2013/07 | A HTML5-based Visualizations to Support Software Fault Isolation
Coorientador
|
Engenharia Informática (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2023 - 2024 | Sponsorship Co-Chair in Organising Committee - International Conference on Software Engineering (ICSE) (2023 - 2024)
Conferência (Membro da Comissão Organizadora)
|
|
2022 - 2022 | Program Chair - International Workshop on Quantum Software Engineering (Q-SE) (2022 - 2022)
Oficina (workshop) (Membro da Comissão Organizadora)
|
|
2020 - 2020 | Web Chair at the IEEE International Conference on Software Testing, Verification and Validation (ICST) (2020 - 2020)
Conferência (Membro da Comissão Organizadora)
|
|
2015 - 2015 | Student Volunteer at the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the
Foundations of Software Engineering (ESEC/FSE) (2015 - 2015)
Conferência (Membro da Comissão Organizadora)
|
|
2015 - 2015 | Student Volunteer at the International Conference on Software Engineering (ICSE) (2015 - 2015)
Conferência (Membro da Comissão Organizadora)
|
|
2014 - 2014 | Organizing Committee of the TAROT Summer School (2014 - 2014)
Simpósio (Membro da Comissão Organizadora)
|
|
2013 - 2013 | Student Volunteer at the IEEE/ACM International Conference on Automated Software Engineering (ASE) (2013 - 2013)
Conferência (Membro da Comissão Organizadora)
|
|
2013 - 2013 | Session-Chair Software Testing track at the International Conference on Information Technology - New Generations (ITNG) (2013 - 2013)
Conferência (Membro da Comissão Organizadora)
|
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
2021 | Exploring a Larger Search Space for Automatic Program Repair
Arguente principal
|
Máximo José Nicolaas Hoefnagel Oliveira (Mestrado)
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
2020/09/11 | Applying TSR techniques over large test suites
Arguente principal
|
João Pedro Pereira Becho (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
Entrevista (jornal / revista)
Descrição da atividade | Jornal / Forum | |
---|---|---|
2012/04 | Finding Faults with GZoltar | Exame Informática |
2012/03 | GZoltar: A bug hunter | Público newspaper’s P3 supplement |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2024 - 2024 | Program Committee - International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER) | |
2024 - 2024 | Program Committee - International Conference on Software Testing, Verification and Validation (ICST) | |
2024 - 2024 | Program Committee - International Workshop on Quantum Software Engineering (Q-SE) | |
2023 - 2023 | Tool Demonstrations Track Committee - International Symposium on Software Testing and Analysis (ISSTA) | |
2023 - 2023 | Emerging Computing Technologies Track Committee - Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) | |
2023 - 2023 | Program Committee - International Conference on Testing Software and Systems (ICTSS) | |
2023 - 2023 | Program Committee - International Workshop on Search-Based and Fuzz Testing (SBFT) | |
2023 - 2023 | Program Committee - International Workshop on Quantum Software Engineering (Q-SE) | |
2022 - 2022 | Program Committee - International Conference on Software Testing, Verification and Validation (ICST) | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2022 - 2022 | Program Committee - Search-Based Software Testing (SBST) | |
2022 - 2022 | Challenge Track Program Committee - Symposium on Search-Based Software Engineering (SSBSE) | |
2022 - 2022 | Quantum Computing Program Committee - International Conference on the Quality of Information and Communications Technology (QUATIC) | |
2021 - 2021 | Testing Tools Track Committee - International Conference on Software Testing, Verification and Validation (ICST) | |
2021 - 2021 | Program Committee - Search-Based Software Testing (SBST) | |
2021 - 2021 | Doctoral Symposium Program Committee - International Conference on Evaluation and Assessment in Software Engineering (EASE) | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2021 | Challenge Track Program Committee - Search-based Software Engineering (SBSE) | Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2021 - 2021 | Challenge Track Program Committee - Symposium on Search-Based Software Engineering (SSBSE) | |
2020 - 2020 | Program Committee - Search-Based Software Testing (SBST)
Membro
|
|
2020 - 2020 | RENE Track Committee - Symposium on Search-Based Software Engineering (SSBSE)
Membro
|
|
2020 - 2020 | NIER Track Committee - Symposium on Search-Based Software Engineering (SSBSE)
Membro
|
|
2020 - 2020 | TAIC PART Workshop Committee - Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques
Membro
|
|
2020 - 2020 | Testing Tools Track Committee - International Conference on Software Testing, Verification and Validation (ICST)
Membro
|
|
2019 - 2019 | Program Committee - Search-Based Software Testing (SBST)
Membro
|
|
2019 - 2019 | Short and Student Paper Track Committee - Symposium on Search-Based Software Engineering (SSBSE)
Membro
|
|
2019 - 2019 | Program Committee - Symposium on Search-Based Software Engineering (SSBSE)
Membro
|
Distinções
Prémio
2017 | Distinguished Paper Award at SSBSE |
2015 | ACM SIGSOFT Distinguished Paper Award at ESEC/FSE |
2015 | Best Paper with industry-relevant SBSE results |
2013 | Ph.D. Scholarship
The University of Sheffield Department of Computer Science, Reino Unido
|
Outra distinção
2016 | National Science Foundation (NSF) travel support |