Pedro Luís Ribeiro Carrott (A615-1984-6C12)

Curriculum Vitae

Pedro Luís Ribeiro Carrott

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

https://pcarrott.github.io (Pessoal)

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
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

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