Personal identification

Full name

João Miguel Ferreira Oliveira

Citation names

• Oliveira, João

Author identifiers

Ciência ID

3718-2972-01FA

ORCID iD

0000-0002-0393-6133

	Degree	Classification
2021/09/13 - 2023/11/23 Concluded	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal "HawkSet: An Automatic, Agnostic, and Efficient Concurrent PM Bug Detection Tool" (THESIS/DISSERTATION)	17
2018/09/10 - 2021/07/19 Concluded	Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal	16

Teaching in Higher Education

	Category Host institution	Employer
2022/09/19 - 2023/08/18	Invited Assistant (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/10/01 - 2022/08/31	Invited Assistant (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Grant

	Designation	Funders
2023/07/10 - Current	Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications PTDC/CCI-COM/4485/2021 Research Fellow	Fundação para a Ciência e a Tecnologia
2022/09/01 - 2022/10/30	MS3: New foundations for micro-services and serverless systems PTDC/CCI-INF/6762/2020 Research Fellow	Fundação para a Ciência e a Tecnologia

Publications

Conference paper

Oliveira, João; Gonçalves, João; Matos, Miguel. "Deteção de Erros de Concorrência em Programas de Memória Persistente Utilizando Análise de Locksets". Paper presented in INForum, Porto, 2023.

Award

2024	Prémio de Mérito Académico Jerónimo Martins em Engenharia Informática e de Computadores Universidade de Lisboa Instituto Superior Técnico, Portugal