???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.
Identification

Personal identification

Full name
Pedro Jorge Fernandes Ângelo

Citation names

  • Ângelo, Pedro

Author identifiers

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

Email addresses

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

Telephones

Mobile phone
  • 918187975 (Personal)

Addresses

  • 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 (Professional)

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2018/09/01 - 2024/07/01
Concluded
 Programa Doutoral em Ciência de Computadores (Doutoramento)
Major in 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" (THESIS/DISSERTATION)
 Aprovação
2018/11/20 - 2018/11/20
Concluded
 Curso de Suporte Básico de Vida (720/SBV/18) (Outros)
Cruz Vermelha Portuguesa, Portugal
2018/09/07 - 2018/09/08
Concluded
 Curso de Public Speaking Nível I (Outros)
Speak and Lead, Portugal
2018/04/09 - 2018/04/13
Concluded
 Midlands Graduate School in the Foundations of Computing Science (Outros)
University of Nottingham, United Kingdom
2012/09/01 - 2017/07/19
Concluded
 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" (THESIS/DISSERTATION)
 15
2016/06/20 - 2016/06/20
Concluded
 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
Affiliation

Science

Category
Host institution 		Employer
2024/02/01 - Current Researcher (Research) 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 - Current Researcher (Research) 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

Teaching in Higher Education

Category
Host institution 		Employer
2026/02/01 - Current Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
2024/02/01 - 2026/01/31 Invited Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
(...)
2019/02/01 - 2024/01/31 Invited Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
(...)

Others

Category
Host institution 		Employer
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
Projects

Grant

Designation Funders
2016/12/01 - 2019/07/31 Elven - Expressive Logics for VErifying the Net
POCI-01-0145-FEDER-016844
Research Fellow
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing

Contract

Designation Funders
2024/07/20 - 2025/10/10 COST Action CA20111 - European Research Network on Formal Proofs (EuroProofNet)
EuroProofNet CA20111
Researcher
Concluded
2017/06/01 - 2020/03/20 COST Action CA15123 - European Research Network on Types for Programming and Verification (EUTypes)
EUTypes CA15123
Researcher
Universidade do Porto Faculdade de Ciências, Portugal
Concluded
Outputs

Publications

Book chapter
  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
Conference abstract
  1. Ângelo, Pedro; Florido, Mário. "Discrete Polymorphism with Dynamic Types". Paper presented in Days in Logic 2018, Aveiro, 2018.
Conference paper
  1. Ângelo, Pedro; Vasco T. Vasconcelos; Yuito Murase; Atsushi Igarashi. "Contextual Metaprogramming for Session Types". Paper presented in ESOP 2026, Turim, 2026.
    Accepted
  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". Paper presented in Trends in Functional Programming, Vancouver, 2019.
  7. Ângelo, Pedro; Florido, Mário; Vasconcelos, Pedro. "Gradual Compound Data Types". Paper presented in 10º Simpósio Nacional de Informática (INForum 2018), Coimbra, 2018.
  8. Ângelo, Pedro; Florido, Mário. "Gradual Intersection Types". Paper presented in 9th Workshop on Intersection Types and Related Systems (ITRS 2018), Oxford, 2018.
Conference poster
  1. Ângelo, Pedro; Florido, Mário. "Gradual Intersection Type Inference". Paper presented in Student Research Competition of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019.
Thesis / Dissertation
  1. Pedro Jorge Fernandes Angelo. "Static and Dynamic Types for Functional Languages". Master, 2017. http://hdl.handle.net/10216/107877.

Other

Other output
  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
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, Italy)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2024/10/16 - 2025/11/30 Proteção de Identidade com Differential Privacy
Supervisor of Tomás Miguel Frade Piteira
 Mestrado em Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2025/07/01 - 2025/09/30 An exploration of Just-in-Time compilation
Supervisor
 Licenciatura em Engenharia Informática (Scientific initiation)
Universidade de Lisboa Faculdade de Ciências, Portugal
2025/07/01 - 2025/09/30 A deep dive into hashtable design
Supervisor
 Licenciatura em Engenharia Informática (Scientific initiation)
Universidade de Lisboa Faculdade de Ciências, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Symposium (Member of the Organising Committee)
 Universidade de Lisboa Faculdade de Ciências, Portugal

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2019/06/12 - 2019/06/14 Participante em simpósio Trends in Functional Programming 2019
Conference
 Trends in Functional Programming (TFP 2019)
The University of British Columbia, Canada
2019/01/13 - 2019/01/19 Participante e voluntário em 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)
Conference
 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)
Symposium
 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)
Conference
 9th Workshop on Inter- section Types and Related Systems 2018 (ITRS 2018)
University of Oxford, United Kingdom
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)
Meeting
 Days in Logic 2018 (DiL 2018)
Universidade de Aveiro, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2025/12/15 Deadlock Freedom in FreeST
(Thesis) Arguer
 Luís Santos (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2025/11/28 Program Synthesis Using Dependent Types: An Analysis of Efficiency and Search Methodologies
(Thesis) Arguer
 Su Lishun (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2025/07/24 CoMPSeT – Comparing Multiparty Session Types
(Thesis) Arguer
 Telmo Ribeiro (Master)
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
(Thesis) Arguer
 Hélia Gavino (Master)
2025/06/11 Formal Verification Of Heap-dependent Ocaml Programs
(Thesis) Arguer
 Keiko Kolin Tiago (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Association member

Society Organization name Role
2019/02/06 - Current Erasmus Student Network, secção do Porto (ESN Porto) Organização interna e de eventos

Conference scientific committee

Conference name Conference host
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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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
Distinctions

Award

2019 Best Presentation Award | Doctoral Symposium