Hi there, I'm Luca 😄👋

💻 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#, C, C++, Python, Go and JavaScript
📫 How to reach me: luca[dot]olivieri[at]unive[dot]it