Curriculum Vitae
João Luís Alves Barbosa
Identificação
Identificação pessoal
- Nome completo
- João Luís Alves Barbosa
Nomes de citação
- Barbosa, João
Identificadores de autor
- Ciência ID
- 5019-D55C-71BE
- ORCID iD
- 0000-0003-1817-7595
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 (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) |
| Italiano | Utilizador independente (B1) | Utilizador independente (B1) | Utilizador independente (B1) | Utilizador independente (B1) | Utilizador elementar (A2) |
| Espanhol; Castelhano | Utilizador independente (B2) | Utilizador proficiente (C1) | Utilizador independente (B1) | Utilizador proficiente (C1) | Utilizador independente (B2) |
| Japonês | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2018/11/01 - 2023/04/21
Concluído
|
Doutoramento em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
"Type Assignment in Logic Programming" (TESE/DISSERTAÇÃO)
|
Aprovado |
|
2014/09/15 - 2016/09/27
Concluído
|
Mestrado em Ciência de Computadores (Mestrado)
Especialização em Computação Confiável
Universidade do Porto Faculdade de Ciências, Portugal
"Closed Types for Logic Programming" (TESE/DISSERTAÇÃO)
|
18 |
|
2011/09/15 - 2014/09/08
Concluído
|
Licenciatura em Física (Licenciatura)
Especialização em Informática
Universidade do Porto Faculdade de Ciências, Portugal
|
16 |
Percurso profissional
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2023/09/15 - Atual | Professor Auxiliar (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
| Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal | ||
| 2023/03/01 - 2023/08/30 | Assistente Convidado (Docente Universitário) | Universidade Portucalense Infante Dom Henrique, Portugal |
| 2021/09/01 - 2023/08/30 | Assistente Convidado (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
| Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal | ||
| 2020/09/15 - 2021/06/15 | Assistente Convidado (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
| Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal | ||
| 2017/09/01 - 2020/08/30 | Assistente Convidado (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
| Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2016/10/01 - 2018/10/30 | Elven - Expressive Logics for VErifying the Net
Bolseiro de Investigação
INESC Microsistemas e Nanotecnologias, Portugal
Instituto de Telecomunicações, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2016/04/01 - 2016/06/30 | Towards Smart Interacting Blocks that Improve Learned Advice
Bolseiro de Investigação
Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Economia, Portugal Universidade do Porto Faculdade de Engenharia, Portugal INESC Microsistemas e Nanotecnologias, Portugal |
Concluído
|
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2019/01/01 - 2019/12/31 | LABORATÓRIO DE INTELIGÊNCIA ARTIFICIAL E CIÊNCIA DE COMPUTADORES
UID/CEC/00027/2019
Universidade do Porto, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
Produções
Publicações
| Artigo em conferência |
|
| Artigo em revista |
|
| Capítulo de livro |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2022/09/22 | Typed SLD-resolution: Dynamic Typing for Logic Programming | International Symposium on Logic-based Program Synthesis and Transformation
Tbilisi State University / Kutaisi International University (Tbilisi, Georgia)
|
| 2021/09/07 | Data Type Inference for Logic Programming | International Symposium on Logic-based Program Synthesis and Transformation
Tallinn University of Technology (Tallinn, Estónia)
|
| 2019/09/23 | A Three-Valued Semantics for Logic Programming | International Conference on Logic Programming
New Mexico State University (Las Cruces, Estados Unidos)
|
| 2017/09/20 | Closed Types for Logic Programming | Workshop on Functional and Logic Programming
University of Würzburg (Würzburg, Alemanha)
|
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2019 - Atual | POPL 2019 (2019)
Conferência (Outra)
|
|
| 2019/09 - 2019/09 | FM 19 (2019/09 - 2019/09)
Conferência (Outra)
|
Universidade de Lisboa Faculdade de Ciências, Portugal |
Arbitragem científica em conferência
| Nome da conferência | Local da conferência | |
|---|---|---|
| 2024/01 - Atual | International Conference on Foundations of Software Science and Computation Structures | Luxembourg |
| 2023/06 - Atual | International Symposium on Principles and Practice of Declarative Programming | Cascais, Portugal |
| 2019/07 - Atual | International Symposium on Logic-based Program Synthesis and Transformation | Porto, Portugal |
| 2019/03 - Atual | International Conference on Formal Structures for Computation and Deduction | Dortmund, Germany |
| 2018/03 - Atual | International Conference on Logic Programming | Oxford, United Kingdom |
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 2024/03/01 - 2024/08/31 | Compiladores | Licenciatura em Engenharia Informática (Licenciatura) | Universidade Portucalense Infante Dom Henrique, Portugal |
| 2024/04 - 2024/06 | Bases de Dados | Projecto PRR (Especialização pós-licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
Membro de comissão
| Descrição da atividade Tipo de participação |
Instituição / Organização | |
|---|---|---|
| 2016/05 - 2016/05 | Comité de Avaliação do Curso: Mestrado em Micro e Nano Tecnologias
Membro
|
Universidade do Minho, Portugal |
Tutoria
| Tópico | Nome do aluno | |
|---|---|---|
| 2024/02 - 2024/06 | Projeto Starlink Performance Characterization | Francisco Lopes Mendonça |
| 2024/02 - 2024/06 | Watchdog for IP verification regressions | Tomás Miranda de Figueiredo Sarmento |