João Luís Alves Barbosa (5019-D55C-71BE)

Curriculum Vitae

João Luís Alves Barbosa

João Luís Alves Barbosa. Concluded PhD in Computer Science in 2023, in the Faculty of Science, University of Porto. Concluded Master Degree in Computer Science in 2016, in the Faculty of Science, University of Porto. Concluded Bachelor Degree in Physics, with minor in Informatics, in 2014, in the Faculty of Science, University of Porto. Auxiliar Professor in Faculty of Science, University of Porto since 2023. Published one science journal paper and 4 conference papers. Two of which were then published in the post-proceedings. Participated in 2 Research Projects. Currently researches in the Computer Science area, more specifically in: Type Inference; Logic Programming; Types; Program Verification; XML; Logic; Prolog; Program Semantics; Automatic Theorem Provers.

Read full resume ↓

Identification

Personal identification

Full name: João Luís Alves Barbosa

Citation names

Barbosa, João

Author identifiers

Ciência ID: 5019-D55C-71BE
ORCID iD: 0000-0003-1817-7595

Knowledge fields

Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language	Speaking	Reading	Writing	Listening	Peer-review
Portuguese (Mother tongue)
English	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)
Italian	Intermediate (B1)	Intermediate (B1)	Intermediate (B1)	Intermediate (B1)	Elementary (A2)
Spanish; Castilian	Upper intermediate (B2)	Advanced (C1)	Intermediate (B1)	Advanced (C1)	Upper intermediate (B2)
Japanese	Beginner (A1)	Beginner (A1)	Beginner (A1)	Beginner (A1)	Beginner (A1)

Education

	Degree	Classification
2018/11/01 - 2023/04/21 Concluded	Doutoramento em Ciência de Computadores (Doutoramento) Universidade do Porto Faculdade de Ciências, Portugal "Type Assignment in Logic Programming" (THESIS/DISSERTATION)	Aprovado
2014/09/15 - 2016/09/27 Concluded	Mestrado em Ciência de Computadores (Mestrado) Major in Computação Confiável Universidade do Porto Faculdade de Ciências, Portugal "Closed Types for Logic Programming" (THESIS/DISSERTATION)	18
2011/09/15 - 2014/09/08 Concluded	Licenciatura em Física (Licenciatura) Major in Informática Universidade do Porto Faculdade de Ciências, Portugal	16

Affiliation

Teaching in Higher Education

	Category Host institution	Employer
2023/09/15 - Current	Assistant Professor (University Teacher)	Universidade do Porto Faculdade de Ciências, Portugal
	Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2023/03/01 - 2023/08/30	Invited Assistant (University Teacher)	Universidade Portucalense Infante Dom Henrique, Portugal

2021/09/01 - 2023/08/30	Invited Assistant (University Teacher)	Universidade do Porto Faculdade de Ciências, Portugal
	Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2020/09/15 - 2021/06/15	Invited Assistant (University Teacher)	Universidade do Porto Faculdade de Ciências, Portugal
	Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2017/09/01 - 2020/08/30	Invited Assistant (University Teacher)	Universidade do Porto Faculdade de Ciências, Portugal
	Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Projects

Grant

	Designation	Funders
2016/10/01 - 2018/10/30	Elven - Expressive Logics for VErifying the Net PTDC/EEI-CTP/3506/2014 Research Fellow INESC Microsistemas e Nanotecnologias, Portugal Instituto de Telecomunicações, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2016/04/01 - 2016/06/30	Towards Smart Interacting Blocks that Improve Learned Advice 65303 Research Fellow Universidade do Porto Faculdade de Ciências, Portugal Universidade do Porto Faculdade de Economia, Portugal Universidade do Porto Faculdade de Engenharia, Portugal INESC Microsistemas e Nanotecnologias, Portugal	Concluded

Contract

	Designation	Funders
2019/01/01 - 2019/12/31	LABORATÓRIO DE INTELIGÊNCIA ARTIFICIAL E CIÊNCIA DE COMPUTADORES UID/CEC/00027/2019 Universidade do Porto, Portugal Universidade do Porto Faculdade de Engenharia, Portugal Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal	Fundação para a Ciência e a Tecnologia Concluded

Outputs

Publications

Book chapter

"Data Type Inference for Logic Programming". 16–37-16–37. Springer-Verlag, 2022.
10.1007/978-3-030-98869-2_2
João Barbosa; Mário Florido; Vítor Santos Costa. "Typed SLD-Resolution: Dynamic Typing for Logic Programming". 2022.
10.1007/978-3-031-16767-6_7

Journal article

Philipp Körner; Michael Leuschel; JOÃO BARBOSA; Vitor Santos Costa; VERÓNICA DAHL; Manuel Hermenegildo; José F. Morales; et al. "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming 22 6 (2022): 776-858. http://dx.doi.org/10.1017/s1471068422000102.
10.1017/s1471068422000102
"A Three-Valued Semantics for Typed Logic Programming". Electronic Proceedings in Theoretical Computer Science 306 (2019): 36-51. http://dx.doi.org/10.4204/eptcs.306.10.
10.4204/eptcs.306.10

Activities

Oral presentation

	Presentation title	Event name Host (Event location)
2022/09/22	Typed SLD-resolution: Dynamic Typing for Logic Programming	International Symposium on Logic-based Program Synthesis and Transformation Tbilisi State University / Kutaisi International University (Tbilisi, Georgia)
2021/09/07	Data Type Inference for Logic Programming	International Symposium on Logic-based Program Synthesis and Transformation Tallinn University of Technology (Tallinn, Estonia)
2019/09/23	A Three-Valued Semantics for Logic Programming	International Conference on Logic Programming New Mexico State University (Las Cruces, United States)
2017/09/20	Closed Types for Logic Programming	Workshop on Functional and Logic Programming University of Würzburg (Würzburg, Germany)

Event organisation

	Event name Type of event (Role)	Institution / Organization
2019 - Current	POPL 2019 (2019) Conference (Other)
2019/09 - 2019/09	FM 19 (2019/09 - 2019/09) Conference (Other)	Universidade de Lisboa Faculdade de Ciências, Portugal

Committee member

	Activity description Role	Institution / Organization
2016/05 - 2016/05	Comité de Avaliação do Curso: Mestrado em Micro e Nano Tecnologias Member	Universidade do Minho, Portugal

Conference scientific committee

	Conference name	Conference host
2024/01 - Current	International Conference on Foundations of Software Science and Computation Structures	Luxembourg
2023/06 - Current	International Symposium on Principles and Practice of Declarative Programming	Cascais, Portugal
2019/07 - Current	International Symposium on Logic-based Program Synthesis and Transformation	Porto, Portugal
2019/03 - Current	International Conference on Formal Structures for Computation and Deduction	Dortmund, Germany
2018/03 - Current	International Conference on Logic Programming	Oxford, United Kingdom

Course / Discipline taught

	Academic session	Degree Subject (Type)	Institution / Organization
2024/03/01 - 2024/08/31	Compiladores	Licenciatura em Engenharia Informática (Licenciatura)	Universidade Portucalense Infante Dom Henrique, Portugal
2024/04 - 2024/06	Bases de Dados	Projecto PRR (Especialização pós-licenciatura)	Universidade do Porto Faculdade de Ciências, Portugal

Mentoring / Tutoring

	Topic	Student name
2024/02 - 2024/06	Projeto Starlink Performance Characterization	Francisco Lopes Mendonça
2024/02 - 2024/06	Watchdog for IP verification regressions	Tomás Miranda de Figueiredo Sarmento