Previously, I have been a software engineer at TrustInSoft for two years with a focus on developing static analysis tools.
In late 2014, I got a PhD in Mathematics from Aix-Marseille Université and in Computer Science from Università di Bologna. I worked on esoteric algebraic (in the sense of vector spaces) extensions of the pure λ-calculus. In case you enjoy reading mathematical nonsense, my dissertation is here.
I support the work done by Grusol (in Italian).