Identificação
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
Formação
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 |
Percurso profissional
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 |
Projetos
Bolsa
Designação | Financiadores | |
---|---|---|
2023/07/10 - Atual | Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications
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
Bolseiro de Investigação
|
Fundação para a Ciência e a Tecnologia |
Produções
Publicações
Artigo em conferência |
|
Distinções
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
|