๐ป 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!