💻 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!