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.

The current challenge is finding an internship is something related to my studies.

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

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