Since 2008 I'm a PhD student in Computer Science at Ca' Foscari University of Venice.
My resume is available in plain text or PDF format.
Research Interest
- Language-based Security
- Foundation of Languages and System Security
- Semantics of Languages and Program Analysis and Verification
- Formal Methods of Computer Science