💻 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!
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
| Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
| Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Saturday Sat | |||||||||||||||||||||||||||||||||||||||||||||||||||||
