Galápagos: Automated N-Version Programming with LLMs

Galápagos is a tool that automates the generation of N-Version program variants using LLMs and validates their equivalence, demonstrating effectiveness in creating diverse and reliable variants, even across different programming languages.

Nov 2023 - Aug 2024

Knowledge Graph construction with Language Models

Collaborating alongside a group of colleagues with SEB, a leading Nordic bank, on a joint project for my Project Course in Data Science at KTH.

Sep 2024 - Dec 2024

ResumosLEIC

A platform compiling class notes and useful tools for the Computer Science and Engineering Bachelor's degree at Instituto Superior Técnico.

Feb 2021 - Jun 2023