Luca Negrini

Registered user since Thu 22 Apr 2021

Name:Luca Negrini
Bio:

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.

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

Contributions