Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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

Personal website: http://www.pietro.ferrara.name

Research interests: Programming Languages, Static Analysis, Abstract Interpretation

Contributions

VMCAI 2021 Twinning automata and regular expressions for string static analysis
Show activities from other conferences

Using general profile