Me and my cat!

Who am I?

Currently studying Computer Science at UniPD, specializing in Programming Languages and Systems.

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

Right now, my main goal is landing an internship in topics related to programming languages and compilers.

The final goal of this journey is to become a real computer scientist, but now I'm enjoying messing around with different languages in various toy projects.

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