Identificação pessoal

Nome completo

João Miguel Ferreira Oliveira

Nomes de citação

• Oliveira, João

Identificadores de autor

Ciência ID

3718-2972-01FA

ORCID iD

0000-0002-0393-6133

	Grau	Classificação
2021/09/13 - 2023/11/23 Concluído	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" (TESE/DISSERTAÇÃO)	17
2018/09/10 - 2021/07/19 Concluído	Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal	16

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2022/09/19 - 2023/08/18	Assistente Convidado (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/10/01 - 2022/08/31	Assistente Convidado (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Bolsa

	Designação	Financiadores
2023/07/10 - Atual	Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications PTDC/CCI-COM/4485/2021 Bolseiro de Investigação	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 Bolseiro de Investigação	Fundação para a Ciência e a Tecnologia

Publicações

Artigo em conferência

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". Trabalho apresentado em INForum, Porto, 2023.

Prémio

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