Pietro Ferrara
Associate Professor
Venice, Veneto, Italy
Summary
👤
Senior🎓
Top SchoolPietro Ferrara is a seasoned computer science researcher and educator based in Venice, Italy, with over 15 years of experience applying static analysis to software engineering. He is currently an associate professor at Università Ca' Foscari Venezia, after serving as a tenure-track assistant professor and leading R&D at JuliaSoft Srl, where he delivered academic and commercial analysis tools. His research centers on static analysis through abstract interpretation, with a focus on Java bytecode and CIL/MSIL, mobile apps (Android and iOS), multithreaded programs, semantics and verification, and security. He has authored around 50 scientific articles, holds 20 patents, delivered about 60 talks at conferences, and supervised a dozen PhD, master and bachelor theses. His career spans IBM Research, ETH Zurich, and industry collaborations, including leading research projects from proposal through delivery, and he earned a PhD in Computer Science from École Polytechnique. With a rare blend of academic depth and industrial impact, he bridges theory, tooling, and real-world software engineering challenges.
11 years of coding experience
7 years of employment as a software developer
É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.