My primary research interest is Formal Verification and in particular Model Checking based on Satisfiability Modulo Theory.
I find distributed, parallel and cloud computing fascinating.
These fields address difficult problems, some of which are undecidable.
This is one of the reasons why I am particularly interested in the algorithms and techniques developed in these contexts.
I am passionate about data-security and I deeply care about technologies that allow users to be in control of their own data.
I like programming and I am curious about the different features that languages implement.
In general I prefer strongly typed, compiled languages over scripting, interpreted languages.
However, the language I am using the most is Python3, followed by C and C++.
Some interesting languages I tried are: Rust, Go, Ivy and Dafny.
I like skiing and I am also interested in music; I have played the trumpet since I was a child and, more recently, I joined a choir.