ISSTA/ECOOP 2024 (series) / Luca Negrini
![Luca Negrini](https://conf.researchr.org/getProfileImage/lucanegrini/c92b8d38-1cb1-43fa-bf45-709a52c5af7d/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
Using general profile