π» Assistant Professor (non-tenure) @ Ca' Foscari University of Venice
π PhD in Computer Science
π Interests: Static Program Analysis, Program Verification, Abstract Interpretation
π Java Developer - messing around with C# and Python
π« How to reach me: luca[dot]negrini[at]unive[dot]it
π Check out LiSA!