Identificação
Identificação pessoal
- Nome completo
- Nuno Claudino Pereira Lopes
Nomes de citação
- Nuno P. Lopes
Identificadores de autor
- Ciência ID
- 131E-40D1-D00E
- Google Scholar ID
- DQnsjaoAAAAJ
Endereços de correio eletrónico
- nuno.lopes@tecnico.ulisboa.pt (Profissional)
Websites
- https://web.ist.utl.pt/nuno.lopes/ (Académico)
Domínios de atuação
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
Formação
Grau | Classificação | |
---|---|---|
2014/07
Concluído
|
Engenharia Informática e de Computadores (Doutoramento)
Especialização em Compiladores
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Automatic Synthesis of Weakest Preconditions for Compiler Optimizations" (TESE/DISSERTAÇÃO)
|
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2014/09/01 - 2021/12/30 | Investigador principal (carreira) (Investigação) | Microsoft Research Ltd, Reino Unido |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2022/01/01 - Atual | Professor Associado (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Propriedade Intelectual
Patente |
|