ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Pietro Ferrara

Registered user since Sun 2 Nov 2014

Name:Pietro Ferrara

Pietro Ferrara is the Head of Scientific Core Lab at JuliaSoft, a company specialized in advanced static analysis solutions. He is responsible for leading the R&D team designing and implementing new analyses and making them work on large, complex, real life software. A career dedicated to studying and applying static analysis techniques both in industrial and academic contexts, Pietro’s previous experiences include posts at IBM T.J. Watson Center in NY, Microsoft Research in Redmond and ETH in Zurich. He holds a PhD in Computer Science at Ecole Polytechnique of Paris with more than 30 scientific publications in the field of static analysis based on Abstract Interpretation.

Affiliation:JuliaSoft SRL, Italy
Research interests:Programming Languages, Static Analysis, Abstract Interpretation


InterAVT 2019 Cross Programming Language Taint Analysis for the IoT Ecosystem
SPIoT 2019 Static Analysis for the OWASP IoT Top 10 2018.
Show activities from other conferences

ETAPS 2019-profile
View general profile