I am a Java and Objective-C developer with knowledge on software testing, artificial intelligence, web development and databases.
I graduated with honors as a Software Engineer at the University of Genova where I also completed a Ph.D aimed to create an automated tool to generate test cases for embedded safety-critical systems directly from source code using static and dynamic analysis, bounded model checkers and SAT optimizers. During my Ph.D I also taught courses, did scientific writing and attended conferences as a speaker.
I speak Italian as my first language and I'm fluent and fully proficient in English.
I can't do artwork of any kind.
I enjoy long term traveling, a.k.a backpacking. This is a bug that I caught during my year-long trip across Asia in 2012 that took me from Stockolm to Bangkok overland. Some pictures of this trip can be seen on my Flickr account.
As a math person, I like strategy games of any kind. I used to be decent at chess and I also tried for fun to design an automated poker player based on machine learning and Monte Carlo simulations. I regularly spend time with friends playing modern tabletop games and i especially enjoy abstract german-style strategy boardgames.
I'm really terrible at ball sports.