Academic Record

PhD in Computing Research

October 2023 - Present London

MSc in Computer Science and Engineering

September 2020 - November 2022 Lisbon

GPA: 19 out of 20
Major in Algorithms and Programming and Intelligent Systems
Thesis: Formal Specification and Verification of the Lazy JellyFish Skip List

BSc in Computer Science and Engineering

September 2017 - July 2020 Lisbon

GPA: 18 out of 20

Teaching

Academic Year 23/24

Spring 2024

Introduction to Prolog (Tutorial helper and coursework marking)

Logic (Tutorial helper and coursework marking)

Autumn 2023

Models of Computation (Tutorial helper and coursework marking)

Discrete Mathematics & Logic (Tutorial helper and coursework marking)

Academic Year 21/22

Spring 2022

Artificial Intelligence (Teaching assistant and coursework marking)

Autumn 2021

Analysis and Synthesis of Algorithms (Teaching assistant and coursework marking)

Volunteering

Student Volunteer

POPL 2024 Jan 2024

Part of the AV team recording talks in workshops co-located with POPL.

Student Representative

Instituto Superior Técnico Jan 2021 – Oct 2021

Representative for the MSc students in Computer Science and Engineering at IST.

Student Mentor

Instituto Superior Técnico Sep 2018 – Jul 2020

Welcoming and accompanying first year and international students at IST.

Foreign Language Certificates

German A1.2 Course

Goethe-Institut Oct 2021 – Feb 2022

German A1.1 Course

Goethe-Institut Sep 2020 – Nov 2020