Academic Record

PhD in Computing Research

Imperial College London

October 2023 - Present London

Topic: Incorrectness Logic

MSc in Computer Science and Engineering

Instituto Superior Técnico

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

Instituto Superior Técnico

September 2017 - July 2020 Lisbon

GPA: 18 out of 20

Teaching

Academic Year 23/24

Imperial College London

Spring 2024

Introduction to Prolog (Tutorial helper and coursework marking)

Logic (Tutorial helper and coursework marking)

Autumn 2023

The Theory and Practice of Concurrent Programming (Coursework marking)

Models of Computation (Tutorial helper and coursework marking)

Discrete Mathematics & Logic (Tutorial helper and coursework marking)

Academic Year 21/22

Instituto Superior Técnico

Spring 2022

Artificial Intelligence (Teaching assistant and coursework marking)

Autumn 2021

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

Other Experiences

Activities @ IST

Student Representative

Instituto Superior Técnico Jan 2021 – Oct 2021

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

DEI Management System

Instituto Superior Técnico Feb 2020 – Jul 2020

Collaboration with the Computer Science Department from IST in the context of the Software Engineering course for the development of the Department’s management application.

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