Types for protocol-oriented programming
Epistemic aspects of computer science
Comparative programming language analysis
Concurrent programming languages
Concurrency theory: True Concurrency.
Mobile concurrent systems: semantics, type
systems, security issues.
Types for Object Oriented
Current Scientific Activities
Speaker at Curry On 2016.
Programme Committee of 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016 - Track B)
Publicity Chair of ECOOP 2017.