Pietro Ferrara

Pietro Ferrara is an Associate Professor at Ca' Foscari University of Venice, specializing in static analysis techniques applied to industrial and academic software contexts. His career spans roles at leading technology institutions including JuliaSoft SRL, IBM T.J. Watson Center, Microsoft Research, and ETH Zurich.

• Research Focus: Programming Languages, Abstract Interpretation, Software Architecture
• Academic Affiliation: Ca' Foscari University of Venice
• Conference Involvement: Active in OOPSLA, VMCAI, SPLASH, and ECOOP committees

Pietro's publications (over 50) focus on advancing static analysis methodologies for program verification, blockchain determinism, IoT security, and microservices reliability. Recent work includes developing the LiSA framework for practical static analysis implementations and GoLiSA for blockchain validation. His research intersects automated reasoning, security vulnerability detection, and distributed systems verification.

Current contributions include serving on the OOPSLA Review Committee for SPLASH 2025 and organizing tutorials on rapid static analysis development. He maintains an active GitHub profile with 33 repositories focused on software verification tools and educational projects.