Pietro Ferrara

Registered user since Sun 2 Nov 2014

Name: Pietro Ferrara

Bio: Pietro has been a Research Staff Member in the group of Mobile Enterprise Software led by Marco Pistoia since July 2013. 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.

Country: Italy

Affiliation: IBM Research, USA

Personal website: http://www.pietro.ferrara.name

Research interests: Programming Languages, Static Analysis, Abstract Interpretation

Contributions

MobileDeLi 2015Author of Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps within the MobileDeLi-track
SPLASH 2015Demos Co-Chair in Organizing Committee
Author of ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access within the OOPSLA-track
Demos Co-Chair in Organizing Committee within the Demos-track
Show activities from other conferences

SPLASH 2015-profile
View general profile