???global.info.a_carregar???
Pedro Jorge Fernandes Ângelo. Concluiu o(a) Mestrado em Engenharia de Redes e Sistemas Informáticos em 2017 pelo(a) Universidade do Porto Faculdade de Ciências e Mestrado em Mestrado Integrado em Engenharia de Redes e Sistemas Informáticos em 2017/07/19 pelo(a) Universidade do Porto Faculdade de Ciências. É Investigador no(a) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores. Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação com ênfase em Ciências da Computação.
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

Email addresses

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

Telephones

Mobile phone
  • 918187975 (Personal)

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
Education
Degree Classification
2018/09/01 - 2022/07
Ongoing
 Programa Doutoral em Ciência de Computadores (Doutoramento)
Major in Ciência de Computadores
Universidade do Porto Departamento de Ciência de Computadores, Portugal
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
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
2019/09/02 - 2020/02/01 Invited Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal

Others

Category
Host institution 		Employer
2018/10/01 - 2018/12/31 Docente 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/12/01 - 2018/07/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
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
2017/06/01 - Current European Research Network on Types for Programming and Verification (COST Action: EUTypes CA15123)
EUTypes CA15123
Researcher
Universidade do Porto Faculdade de Ciências, Portugal
Ongoing
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, 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". Paper presented in Trends in Functional Programming, Vancouver, 2019.
  6. Â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.
  7. Â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

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

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

Course / Discipline taught

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