Smile Icon

su.profile

su.exe

su.introduction

I am a Master's student currently working with my advisor Alcides Fonseca. My research focuses on program synthesis using dependent types, where we evaluate different search methods—exhaustive search, genetic programming, and large language models—to determine which approach is most effective and how much improvement dependent types provide.

su.status

Finishing the Master's Thesis expected it finishes at end of July 2025

su.cv

CV.pdf

su.contact

Education

M.S.c in Computer Science

Sep 2023 - Current

Faculty of Sciences of University of Lisbon, Lisbon

Thesis

Title: Program Synthesis with Dependent Types

Advisor: Alcides Fonseca

B.S.c in Computer Science

Sep 2020 - Jul 2023

Faculty of Sciences of University of Lisbon, Lisbon

Tech Stack

Git IconGit
Java IconJava
Python IconPython
Go IconGo
Haskell IconHaskell
kotlin IconKotlin
Firebase IconFirebase
VS Code IconVS Code
Computer IconPC Hardware
Windows IconWindows OS
Android IconAndroid OS
Linux IconLinux
Docker IconDocker
Kubernetes IconKubernetes
Google Cloud IconGoogle Cloud
Unity IconUnity