Me and my cat!

Who am I?

Currently pursuing an MSc in Computer Science at UniPD, specializing in Programming Languages and Systemsi.

My study plan is built around topics like language design and formal methods related to concurrency theory. I'm currently delving into abstract interpretation and type theory.

The current challenge is finding an internship is something related to my studies, maybe in program verification.

The final goal of this journey is to become a real developer, for now I'm just messing around with different languages in some personal projects.

If you'd like to get in touch, feel free to send me an email!