Pietro has been a research scientist at Julia since February 2016. He is currently working on the application of Julia to the analysis of CIL (.Net bytecode) programs obtained from the compilation of C# code. Pietro’s main research interests are:

•Static analysis via abstract interpretation •Java bytecode and CIL/MSIL •Mobile software, and in particular Android and iOS applications •Multithreaded programs •The Scala programming language

Pietro was a Research Staff Member in the group of Mobile Enterprise Software led by Marco Pistoia from July 2013 to December 2015.

Before joining IBM Research, Pietro was a lecturer at ETH of Zurich in the Programming methodology group under the supervision of Peter Mueller from April 2009 to July 2013.

Previously, he obtained the PhD degree in Computer Science from the Ecole Polytechnique of Paris and the Universita’ Ca’ Foscari of Venice on May, 22nd 2009. His PhD thesis directors were Radhia Cousot and Agostino Cortesi. I defended my PhD thesis on May 22nd, 2009 at the Ecole Normale Superiore. In addition, he was an intern at Microsoft Research in Redmond in the PLA group from August 20th 2007 to November 9th 2007 under the supervision of Francesco Logozzo.