Pedro Jorge Fernandes Ângelo (601B-B974-AE1D)

Curriculum Vitae

Pedro Jorge Fernandes Ângelo

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	Â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	Ângelo, Pedro; Florido, Mário. "Discrete Polymorphism with Dynamic Types". Paper presented in Days in Logic 2018, Aveiro, 2018.
Conference paper	Ângelo, P.; Igarashi, A.; Vasconcelos, V.T.. "Linear Contextual Metaprogramming and Session Types". 2024. 10.4204/EPTCS.401.1 Ângelo, P.; Dezani-Ciancaglini, M.; Bono, V.; Florido, M.. "Gradual Guarantee for FJ with lambda-Expressions". 2023. 10.1145/3605156.3606453 Ângelo, P.; Florido, M.. "A Typed Lambda Calculus with Gradual Intersection Types". 2022. 10.1145/3551357.3551382 Ângelo, P.; Florido, M.. "Type Inference for Rank-2 Intersection Types Using Set Unification". 2022. 10.1007/978-3-031-17715-6_29 Pedro Ângelo; Mário Florido. "Type Inference for Rank 2 Gradual Intersection Types". Paper presented in Trends in Functional Programming, Vancouver, 2019. Â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. Â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	Â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	Pedro Jorge Fernandes Angelo. "Static and Dynamic Types for Functional Languages". Master, 2017. http://hdl.handle.net/10216/107877.

Other

Other output

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