Pietro Ferrara
Associate Professor
Venice, Veneto, Italy
Summary
👤
Senior🎓
Top SchoolPietro Ferrara is an associate professor and researcher with over a decade of experience applying static analysis and abstract interpretation to real-world software problems, evidenced by ~50 publications, 20 patents and extensive industry collaborations. He has led research and R&D teams (JuliaSoft, IBM) and designed analyzers for Java bytecode, CIL/MSIL and mobile platforms, with notable contributions to Android privacy analysis and scalable C# analysis. At ETH Zurich and Ca' Foscari he combined tool building, teaching and successful grant writing, supervising a dozen PhD, master and bachelor students. His work bridges deep formal semantics and practical tooling—often pushing analysis techniques into commercial and industrial settings—and he maintains active engagement with the research community through talks and conference service.
11 years of coding experience
7 years of employment as a software developer
Bachelor (Laurea triennale), Computer Science, Bachelor (Laurea triennale), Computer Science at Università Ca' Foscari VeneziaPhD, Computer Science, PhD, Computer Science at École Polytechnique
English, Italian, French
Github Skills (15)
ssa10
abstract-interpretation10
analyzer10
java9
semgrep9
static-analyzer9
modular9
source-code-analysis9
static-analysis9
cybersecurity9
formal-methods9
program-analysis8
python5
frontend4
android2
Programming languages (2)
Github contributions (5)
pietroferrara/PO1_2021
Sep 2021 - Dec 2021
Contributions:33 commits, 17 pushes, 1 branch in 2 months
pietroferrara/pietroferrara.github.io
Dec 2019 - May 2020
Contributions:5 commits, 35 pushes, 1 branch in 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.