???global.info.a_carregar???
Pedro Luís Ribeiro Carrott concluded the MSc in Computer Science and Engineering on 2022/11/25 and the BSc in Information Systems and Computer Engineering on 2020/07/22, both at Universidade de Lisboa Instituto Superior Técnico. Elected representative for the MSc students between 2021/01 and 2021/10. Volunteered for the Student Mentoring Program at Universidade de Lisboa Instituto Superior Técnico, welcoming and guiding first year and international students. Received 3 awards for his academic performance. Participated as a research fellow in 1 project. Works in the areas of Engineering and Technology (emphasis on Informatics) and Exact Sciences (emphasis on Computer Sciences). Taught classes to BSc students as an Invited Assistant at Universidade de Lisboa Instituto Superior Técnico.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Pedro Luís Ribeiro Carrott

Nomes de citação

  • Carrott, Pedro

Identificadores de autor

Ciência ID
A615-1984-6C12
ORCID iD
0000-0003-4316-928X

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês (Idioma materno)
Alemão Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2020/09/13 - 2022/11/25
Concluído
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control" (TESE/DISSERTAÇÃO)
 19
2017/09/12 - 2020/07/22
Concluído
 Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 18
Percurso profissional

Docência no Ensino Superior

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

Bolsa

Designação Financiadores
2021/11/01 - 2022/01/31 PassCert: Exploring the Impact of Formal Verification on the Adoption of Password Security Software
CMU/TIC/0006/2019
Bolseiro de Investigação
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Pedro Carrott; Nuno Saavedra; Kyle Thompson; Sorin Lerner; João F. Ferreira; Emily First. "CoqPyt: Proof Navigation in Python in the Era of LLMs". 2024.
    10.1145/3663529.3663814
Atividades

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022/05/10 - 2022/06/23 Inteligência Artificial Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/11/29 - 2022/02/04 Análise e Síntese de Algoritmos Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Prémio

2021 Mérito Académico
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 Excelência Académica
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 Mérito Académico
Universidade de Lisboa Instituto Superior Técnico, Portugal