???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, Pedro; Vasco T. Vasconcelos; Yuito Murase; Atsushi Igarashi. "Contextual Metaprogramming for Session Types". Trabalho apresentado em ESOP 2026, Turim, 2026.
    Aceite para publicação
  2. Ângelo, P.; Igarashi, A.; Vasconcelos, V.T.. "Linear Contextual Metaprogramming and Session Types". 2024.
    10.4204/EPTCS.401.1
  3. Ângelo, P.; Dezani-Ciancaglini, M.; Bono, V.; Florido, M.. "Gradual Guarantee for FJ with lambda-Expressions". 2023.
    10.1145/3605156.3606453
  4. Ângelo, P.; Florido, M.. "A Typed Lambda Calculus with Gradual Intersection Types". 2022.
    10.1145/3551357.3551382
  5. Ângelo, P.; Florido, M.. "Type Inference for Rank-2 Intersection Types Using Set Unification". 2022.
    10.1007/978-3-031-17715-6_29
  6. Pedro Ângelo; Mário Florido. "Type Inference for Rank 2 Gradual Intersection Types". Trabalho apresentado em Trends in Functional Programming, Vancouver, 2019.
  7. Â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.
  8. Â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

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2025/02/18 Session-typed Staged Metaprogramming Seminário de Lógica Matemática
Departamento de Matemática, Faculdade de Ciências da Universidade de Lisboa (Lisboa, Portugal)
2024/05/20 Session-typed Metaprogramming RSS Meetup
Reliable Software Systems, Laboratório de Sistemas Informáticos de Grande Escala, no Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa (Lisboa, Portugal)
2024/03/26 Gradual Typing and Intersection Types RSS Meetup
Reliable Software Systems, Laboratório de Sistemas Informáticos de Grande Escala, no Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa (Lisboa, Portugal)
2022/06/21 Type Inference for Rank 2 Intersection Types using Set Unification
Dipartimento di Informatica da Università degli Studi di Torino (Turim, Itália)

Orientação

Título / Tema
Papel desempenhado		 Curso (Tipo)
Instituição / Organização
2024/10/16 - 2025/11/30 Proteção de Identidade com Differential Privacy
Orientador de Tomás Miguel Frade Piteira
 Mestrado em Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2025/07/01 - 2025/09/30 An exploration of Just-in-Time compilation
Orientador
 Licenciatura em Engenharia Informática (Iniciação científica)
Universidade de Lisboa Faculdade de Ciências, Portugal
2025/07/01 - 2025/09/30 A deep dive into hashtable design
Orientador
 Licenciatura em Engenharia Informática (Iniciação científica)
Universidade de Lisboa Faculdade de Ciências, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)		 Instituição / Organização
2024/02/01 - 2024/09/06 Membro da comissão organizadora do INForum 2024 - Simpósio de Informática, atuando como Responsável de Divulgação. (2024/09/05 - 2024/09/06)
Simpósio (Membro da Comissão Organizadora)
 Universidade de Lisboa Faculdade de Ciências, Portugal

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

Júri de grau académico

Tema
Tipo de participação		 Nome do candidato (Tipo de grau)
Instituição / Organização
2025/12/15 Deadlock Freedom in FreeST
Arguente
 Luís Santos (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2025/11/28 Program Synthesis Using Dependent Types: An Analysis of Efficiency and Search Methodologies
Arguente
 Su Lishun (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2025/07/24 CoMPSeT – Comparing Multiparty Session Types
Arguente
 Telmo Ribeiro (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2025/07/22 Ubbu como Ferramenta Pedagógica para o Ensino de Programação no 5o ano
Arguente
 Hélia Gavino (Mestrado)
2025/06/11 Formal Verification Of Heap-dependent Ocaml Programs
Arguente
 Keiko Kolin Tiago (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2025/05/01 - 2025/05/31 PLACES 2025 Hamilton, Canada
2024/03/01 - 2024/03/31 FSCD 2024 Tallinn, Estonia
2023/03/01 - 2023/03/31 FSCD 2023 Roma, Itália

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2025/09/01 - 2026/01/31 Introdução à Programação https://fenix.ciencias.ulisboa.pt/courses/ipro-284554468271471 Licenciatura em Engenharia Informática Universidade de Lisboa Faculdade de Ciências, Portugal
2025/09 - 2026/01/31 Fundamentos de Programação, curso de introdução à programação em Python https://fenix.ciencias.ulisboa.pt/courses/fpro-1973404328527659 (Mestrado)
2025/02/01 - 2025/07/31 Construção de Sistemas de Software https://fenix.ciencias.ulisboa.pt/courses/cssof-2254879305242649 Licenciatura em Engenharia Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal
2025/02/01 - 2025/07/31 Laboratórios de Programação https://fenix.ciencias.ulisboa.pt/courses/lprog-2254879305242645 Licenciatura em Engenharia Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal
2024/09/01 - 2025/01/31 Introdução à Programação https://fenix.ciencias.ulisboa.pt/courses/ipro-2254879305242439 Licenciatura em Engenharia Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal
2024/09/01 - 2025/01/31 Princípios de Programação Licenciatura em Engenharia Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal
2024/02/01 - 2024/07/31 Construção de Sistemas de Software https://fenix.ciencias.ulisboa.pt/courses/cssof-2536354281948839 Licenciatura em En- genharia Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal
2024/02/01 - 2024/07/31 Laboratórios de Programação https://fenix.ciencias.ulisboa.pt/courses/lprog-2536354281948846 Licenciatura em Engenharia Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal
2023/09/01 - 2024/01/31 Matemática Discreta https://sigarra.up.pt/feup/pt/UCURR_GERAL.FICHA_UC_VIEW?pv_ocorrencia_id=520309 Licenciatura em Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2023/02/01 - 2023/07/31 Teoria da Computação https://sigarra.up.pt/feup/pt/UCURR_GERAL.FICHA_UC_VIEW?pv_ocorrencia_id=501672 Licenciatura em Engenharia In- formática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2022/02/01 - 2022/07/31 Teoria da Computação https://sigarra.up.pt/feup/pt/UCURR_GERAL.FICHA_UC_VIEW?pv_ocorrencia_id=484423 Licenciatura em Engenharia In- formática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2021/09/01 - 2022/01/31 Teoria da Computação https://sigarra.up.pt/feup/pt/UCURR_GERAL.FICHA_UC_VIEW?pv_ocorrencia_id=484403 Mestrado Integrado em Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2020/09/01 - 2021/01/31 Teoria da Computação https://sigarra.up.pt/feup/pt/UCURR_GERAL.FICHA_UC_VIEW?pv_ocorrencia_id=459475 Mestrado Integrado em Engenharia In- formática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2019/09/02 - 2020/02/01 Métodos Formais em Engenharia de Software https://sigarra.up.pt/feup/pt/UCURR_GERAL.FICHA_UC_VIEW?pv_ocorrencia_id=436455 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