???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.
Read full resume ↓
Identification

Personal identification

Full name
Pedro Luís Ribeiro Carrott

Citation names

  • Carrott, Pedro

Author identifiers

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

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English (Mother tongue)
German Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2020/09/13 - 2022/11/25
Concluded
 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" (THESIS/DISSERTATION)
 19
2017/09/12 - 2020/07/22
Concluded
 Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 18
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2021/12/01 - 2022/10/31 Invited Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Grant

Designation Funders
2021/11/01 - 2022/01/31 PassCert: Exploring the Impact of Formal Verification on the Adoption of Password Security Software
CMU/TIC/0006/2019
Research Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Conference paper
  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
Activities

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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
Distinctions

Award

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