Luca Negrini

Luca Negrini

Hi, I’m Luca!

I am currently a Java and C# developer at Corvallis, where the Julia static analyzer was developed recently. My work at Corvallis goes beyond the simple software development: I am also part of the Scientific LAB, whose main focus is to bring the theoretical resesarch on Static analysis in contact with the industrial ecosystem. This led to a vast number of publications and continues to bring contributions to the scientific community. Recently, Julia has become part of CodeSonar, enabling a wider impact on the Static Analysis market.

I’m also part of the Software and System Verification (SSV) group at Ca’ Foscari University of Venice, mainly focusing on static analysis and its applications.

Interests: Static Program Analysis, Program Verification, Abstract Interpretation.

Short CV

I started studying computer science in high school, continuing with both Bechelor’s and Master’s degree at the University of Verona. I got in touch with JuliaSoft during my Master’s thesis, and that was the place where I fell for Abstract Interpretation. I joined JuliaSoft as a developer of the Julia static analyzer in April 2018.

I also joined the Ca’ Foscari University of Venice as a PhD student in Computer Science in October 2019, focusing on Multi-language Static Analysis.

You can find my full CV here.


All projects (2) »


All publications (4) »


All talks (3) »