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

Endereços de correio eletrónico

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

Telefones

Telemóvel
  • 918187975 (Pessoal)

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 Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Inglês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
2018/09/01 - 2022/07
Em curso
 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
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
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
2019/09/02 - 2020/02/01 Assistente Convidado (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
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
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
2017/06/01 - Atual European Research Network on Types for Programming and Verification (COST Action: EUTypes CA15123)
EUTypes CA15123
Investigador
Universidade do Porto Faculdade de Ciências, Portugal
Em curso
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