ECOOP and ISSTA 2023 (series) / Pietro Ferrara
Registered user since Sun 2 Nov 2014
Pietro Ferrara is an associate professor at University Ca’ Foscari of Venice. A career dedicated to studying and applying static analysis techniques both in industrial and academic contexts, Pietro’s previous experiences include posts at JuliaSoft SRL, 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 50 scientific publications in the field of static analysis based on Abstract Interpretation.
Affiliation:Università Ca' Foscari, Venezia, Italy
Research interests:Programming Languages, Static Analysis, Abstract Interpretation
|ECOOP 2023||Flow Analysis for Detecting Non-Determinism in Blockchain|
|Show activities from other conferences|
Using general profile