About me
Hey there!
Since December 2019 I am a research engineer at CEA-List, in the Software Safety and Security Lab., mostly working on Frama-C.
Previously, I have been a software engineer at TrustInSoft for two years with a focus on developing static analysis tools.
Even earlier, I have been a postdoc at CEA-List, in the Software Safety and Security Lab., working on a synthesis plug-in for Frama-C, under the supervision of Julien Signoles.
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).
See ya!
About this site
Built using Jekyll and Zurb Foundation on GitHub Pages (after Amir Chaudhry’s).
Michele Alberti
