???global.info.a_carregar???
Pedro Ângelo is currently an Assistant Professor at the Faculdade de Ciências da Universidade do Porto and an integrated researcher of the Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC) since February 2026. He completed his master's degree in Network and Computer Systems Engineering in 2017 and his PhD in Computer Science in 2024, both at the same institution. After a brief stint at the Faculdade de Ciências da Universidade de Lisboa as a Visiting Assistant Professor from February 2024 to February 2026, he returned to the Faculty where he graduated.
Identificação

Identificação pessoal

Nome completo
Pedro Jorge Fernandes Ângelo

Nomes de citação

  • Ângelo, Pedro

Identificadores de autor

Ciência ID
601B-B974-AE1D
ORCID iD
0000-0002-7849-195X
Google Scholar ID
TaU0QosAAAAJ&hl
Researcher Id
KSL-6923-2024
Scopus Author Id
37010738500

Endereços de correio eletrónico

  • pedro.angelo@fc.up.pt (Profissional)
  • up201207861@fc.up.pt (Profissional)
  • pjangelo@ciencias.ulisboa.pt (Profissional)
  • pjfangelo@hotmail.com (Pessoal)

Telefones

Telemóvel
  • 918187975 (Pessoal)

Moradas

  • Departamento de Ciência de Computadores (FC6), Faculdade de Ciências da Universidade do Porto, R. do Campo Alegre 1021/1055, 4169-007, Porto, Porto, Portugal (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/09/01 - 2024/07/01
Concluído
 Programa Doutoral em Ciência de Computadores (Doutoramento)
Especialização em Ciência de Computadores
Universidade do Porto Departamento de Ciência de Computadores, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
"Gradual Intersection Types" (TESE/DISSERTAÇÃO)
 Aprovação
2018/11/20 - 2018/11/20
Concluído
 Curso de Suporte Básico de Vida (720/SBV/18) (Outros)
Cruz Vermelha Portuguesa, Portugal
2018/09/07 - 2018/09/08
Concluído
 Curso de Public Speaking Nível I (Outros)
Speak and Lead, Portugal
2018/04/09 - 2018/04/13
Concluído
 Midlands Graduate School in the Foundations of Computing Science (Outros)
University of Nottingham, Reino Unido
2012/09/01 - 2017/07/19
Concluído
 Mestrado Integrado em Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
"Static and Dynamic Types for Functional Languages" (TESE/DISSERTAÇÃO)
 15
2016/06/20 - 2016/06/20
Concluído
 Programa de Formação de Monitores da Universidade Júnior (Outros)
Universidade do Porto Faculdade de Psicologia e de Ciências da Educação, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/02/01 - Atual Investigador (Investigação) Universidade de Lisboa LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Universidade de Lisboa LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2016/12/01 - Atual Investigador (Investigação) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Universidade do Porto Departamento de Ciência de Computadores, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2026/02/01 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2024/02/01 - 2026/01/31 Professor Auxiliar Convidado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
(...)
2019/02/01 - 2024/01/31 Assistente Convidado (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
(...)

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2016/12/01 - 2023/08/31 Bolseiro no projeto financiado pela FCT: Elven - Expressive Logics for VErifying the Net (PTDC/EEI-CTP/3506/2014) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2018/10/01 - 2018/12/31 Técnico de laboratório de aulas práticas de Introdução à Programação / Programação I Universidade do Porto, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2016/06/27 - 2017/07/15 Monitor da atividade Anatomia do computador, no âmbito dos cursos de verão da Universidade Júnior. Universidade do Porto, Portugal
2012/07/01 - 2012/08/31 Formação prática em contexto de trabalho Ahelnética, Portugal
2011/07/01 - 2011/07/31 Estagiário Ahelnética, Portugal
Projetos

Bolsa

Designação Financiadores
2016/12/01 - 2019/07/31 Elven - Expressive Logics for VErifying the Net
POCI-01-0145-FEDER-016844
Bolseiro de Investigação
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso

Projeto

Designação Financiadores
2024/07/20 - 2025/10/10 COST Action CA20111 - European Research Network on Formal Proofs (EuroProofNet)
EuroProofNet CA20111
Investigador
Concluído
2017/06/01 - 2020/03/20 COST Action CA15123 - European Research Network on Types for Programming and Verification (EUTypes)
EUTypes CA15123
Investigador
Universidade do Porto Faculdade de Ciências, Portugal
Concluído
Produções

Publicações

Artigo em conferência
  1. Ângelo, P.; Igarashi, A.; Vasconcelos, V.T.. "Linear Contextual Metaprogramming and Session Types". 2024.
    10.4204/EPTCS.401.1
  2. Ângelo, P.; Dezani-Ciancaglini, M.; Bono, V.; Florido, M.. "Gradual Guarantee for FJ with lambda-Expressions". 2023.
    10.1145/3605156.3606453
  3. Ângelo, P.; Florido, M.. "A Typed Lambda Calculus with Gradual Intersection Types". 2022.
    10.1145/3551357.3551382
  4. Ângelo, P.; Florido, M.. "Type Inference for Rank-2 Intersection Types Using Set Unification". 2022.
    10.1007/978-3-031-17715-6_29
  5. Pedro Ângelo; Mário Florido. "Type Inference for Rank 2 Gradual Intersection Types". Trabalho apresentado em Trends in Functional Programming, Vancouver, 2019.
  6. Ângelo, Pedro; Florido, Mário; Vasconcelos, Pedro. "Gradual Compound Data Types". Trabalho apresentado em 10º Simpósio Nacional de Informática (INForum 2018), Coimbra, 2018.
  7. Ângelo, Pedro; Florido, Mário. "Gradual Intersection Types". Trabalho apresentado em 9th Workshop on Intersection Types and Related Systems (ITRS 2018), Oxford, 2018.
Capítulo de livro
  1. Ângelo, Pedro; Florido, Mário. "Type Inference for Rank 2 Gradual Intersection Types". In Lecture Notes in Computer Science, 84-120. Springer International Publishing, 2020.
    10.1007/978-3-030-47147-7_5
Poster em conferência
  1. Ângelo, Pedro; Florido, Mário. "Gradual Intersection Type Inference". Trabalho apresentado em Student Research Competition of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019.
Resumo em conferência
  1. Ângelo, Pedro; Florido, Mário. "Discrete Polymorphism with Dynamic Types". Trabalho apresentado em Days in Logic 2018, Aveiro, 2018.
Tese / Dissertação
  1. Pedro Jorge Fernandes Angelo. "Static and Dynamic Types for Functional Languages". Mestrado, 2017. http://hdl.handle.net/10216/107877.

Outros

Outra produção
  1. Linear Contextual Metaprogramming and Session Types. 2024. Ângelo, P.; Igarashi, A.; Vasconcelos, V.T.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85191953436&partnerID=MN8TOARS.
    10.48550/arXiv.2404.05475
Atividades

Participação em evento

Descrição da atividade
Tipo de evento 		Nome do evento
Instituição / Organização
2019/06/12 - 2019/06/14 Participante em simpósio Trends in Functional Programming 2019
Conferência
 Trends in Functional Programming (TFP 2019)
The University of British Columbia, Canadá
2019/01/13 - 2019/01/19 Participante e voluntário em 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)
Conferência
 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)
Hotel Cascais Miragem Health & Spa, Portugal
2018/09/03 - 2018/09/04 Participante em Simpósio de Informática 2018 (INForum 2018)
Simpósio
 Simpósio de Informática 2018 (INForum 2018)
Universidade de Coimbra, Portugal
2018/07/08 - 2018/07/08 Participante em 9th Workshop on Intersection Types and Related Systems 2018 (ITRS 2018)
Conferência
 9th Workshop on Inter- section Types and Related Systems 2018 (ITRS 2018)
University of Oxford, Reino Unido
2018/06/18 - 2018/06/21 Participante na conferência 24th International Conference on Types for Proofs and Programs 2018 24th International Conference on Types for Proofs and Programs 2018
Universidade do Minho Centro de Matemática, Portugal
2018/01/25 - 2018/01/27 Participante em Days in Logic 2018 (DiL 2018)
Encontro
 Days in Logic 2018 (DiL 2018)
Universidade de Aveiro, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2019/09/02 - 2020/02/01 Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática e Computação (Mestrado) Universidade do Porto Faculdade de Engenharia, Portugal

Membro de associação

Nome da associação Tipo de participação
2019/02/06 - Atual Erasmus Student Network, secção do Porto (ESN Porto) Organização interna e de eventos
Distinções

Prémio

2019 Best Presentation Award | Doctoral Symposium