Sun 22 - Fri 27 October 2023 Cascais, Portugal
Luca Negrini

Registered user since Thu 22 Apr 2021

Name:Luca Negrini

I got a Bachelor’s and Master’s degrees at the University of Verona, followed by a five years industrial experience on development and applications of Static Analysis and Abstract Interpretation with the Julia static analyzer. I got my PhD in Computer Science in January 2023 at the Ca’ Foscari University of Venice, focusing on Multi-language Static Analysis. I then joined Ca’ Foscari as a research fellow, and I am currently an Assistant Professor (non-tenure) there.

Affiliation:Ca’ Foscari University of Venice
Research interests:Program Verification, Static Analysis, Abstract Interpretation, Object-Oriented Programming Languages


Show activities from other conferences

SPLASH 2023-profile
View general profile