I am currently working as a security researcher at RISE (Research Institute of Sweden) specialized in software supply chains. I hold a Ph.D. in software engineering from KTH Royal Institute of Technology, which focuses on Automatic Software diversification. My topics of interest are mainly: Software Supply Chain Security, Program transformations, Software repositories an Program analysis (Static and Dynamic). You can contact me at <first_name.last_name>@gmail.com.
Code{strata} is an artistic representation through visual and sound of software execution.
Ada's Sol is a knitted execution trace of Ada Lovelace's Note G, one of the first piece of software, written to compute Bernouilli Numbers, and meant to run Charles Babbage's Analytical Engine
Spoon is a library to analyze, transform, rewrite, transpile Java source code. It parses source files to build a well-designed AST with powerful analysis and transformation API. Made at Inria with love, beers and sparkles.
Yajta is an extensible java agent for byte code probe insertion (at load time or offline) built on top of javassist.
ThingML is a modelling languages targetting Heterogeneous and distributed Systems.
ThingML implementation of a multiplayer Tron game running on a network of arduinos with LCD screens.