![Luca Negrini](https://conf.researchr.org/getProfileImage/lucanegrini/4bf6622d-8f6f-4b55-a492-103153bfd45d/small.jpg?1711489900000)
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
Personal website: https://lucaneg.github.io/
Research interests:Program Verification, Static Analysis, Abstract Interpretation, Object-Oriented Programming Languages
Contributions
PLDI 2024-profile
View general profile
View general profile