xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Pietro Ferrara

Registered user since Sun 2 Nov 2014

Name:Pietro Ferrara
Bio:

Pietro Ferrara is a tenure-track assistant 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.

Country:Italy
Affiliation:Università Ca' Foscari, Venezia, Italy
Research interests:Programming Languages, Static Analysis, Abstract Interpretation

Contributions

NSAD 2020 Committee Member in Program Committee within the NSAD-track
Show activities from other conferences

SPLASH 2020-profile
View general profile