School: Escola Secundária Alberto Sampaio : September 2017 - June 2020
Conservatório Bomfim : September 2017 - June 2020
University of Minho : October 2020 - September 2025
Ghent University, Belgium : October 2024 - March 2025 (1 semester)
SLATE 2026 - Online Abstract Debugging - Out of the loop No more : Generic Debugging Interface that works with Abstract interpretation. It allows the user to loop unroll and explore intermediate states in places where one would normally lose precision
Backend Developer - Invisible Lab - Go (2026 Jan - ongoing)
Summer Internship at DESY - research center which operates particle accelerators (2024 2 months)
Programming Tutoring to undergraduates (taught Haskell and C to 5 students, Natural Language Processing with Python to one student) (2022-2025)
Coach at chess club from University of Minho (2022 - 2024)
Elementary Chess Teacher (Sep. 2023 - June 2024)
Technician in high-altitude work (1 week)
Monitor at Diver Lanhoso adventure park (2 weeks)
pocket-cube-solver Haskell solution to the Pocket Cube from Justin.
vscode-ipma VS Code extension that shows a popup with IPMA's beautiful weather map.
QForms - QuickForms is a self-hosted local form generation tool designed as an alternative to proprietary services like Google Forms.
Chess-heatmaps - Python project for representing chess moves using heatmaps
shipslogs - Simplified the process of keeping a record of screenshots taken during events such as talks, meetings, or online classes.
cbirds - python module intended for demonstration of the combinator birds in a pointfree style programming.
chessredditstories - Automated content creation that generates reels combining chess gameplay with Reddit stories
instagram-puzzles-generator - automation of puzzle collection images to publish on my University chess club's Instagram
datalist - Implementation of all functions of Haskell's Data.List module
Languages: Portuguese (fluent), English (B2 exam)
Programming Skills: Haskell, C, C++, Python, Java, LaTeX, Machine Learning, SQL, Linux, VIM
2nd place in the SEI 2021 hackathon - shipslogs
1st place in the SEI 2025 programming competition
Led a cat rescue mission from a 15 meter tree: Climber rescues cat trapped in 15 meter tree for six days
Federated Chess/Climbing Athlete
Participated in Bugsbyte 2023 and 2025 hackathons
Attended the IFL 2023 - Implementation and Application of Functional Languages conference
degoogle - I self-host my own files/photos drive and calendar at home using nextcloud for privacy and freedom.
Co-Founder and member of a Chamber Music group - Camerata Minhota at University of Minho (2023-Present)
Organization of Coderdojo (2020-2023)
Collaborator at Recriativo do Núcleo de Estudantes de Engenharia Informática (2021-2022)