About

I’m a Sicilian who moved to Pisa a few years ago.

Here I became a computer scientist with a particular interest in the field of cybersecurity: I’m really fascinated by vulnerabilities and I’m curious to know how things work, where they fail and how to improve their security for a safer world.

My other interests include formal methods and verification techniques.

I’m an open source advocate and believe that technological progress, when guided by ethics, can change the world and improve people’s lives.

I did my BSc with a thesis on Value-Set Analysis, after which I worked as a developer at Omninecs, where I also investigated new technologies for the Innovation Laboratory.

Now I’m back studying verification and security at the University of Pisa, where I’m a student representative and tutor for some BSc courses.

As I said, I'm very curious, so I love reading to discover a lot of things I'm still ignoring.

I usually spend a lot of time a day listening to music, especially Italian songwriters. I would also like to learn to play an instrument, so I bought a guitar, which I sometimes dust off.

I love watching films and going to the cinema, especially when it's raining outside.

Of course I'm not Federer, but I really like playing tennis!

I would never have said this a few years ago, but I really love running with my favourite songs in my headphones.

I recently started fencing again!

Let's play a game at the next break!

In the evening, if it's possible, I like to have a cold beer with friends.

That's my Tetris score! Can you beat it? :)