Social impact of new technologies and digital revolution
Epistemic aspects of computer science
Types for protocol-oriented programming.
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 Blockchain, Fintech e professioni legali, Treviso 1/12/2017
Programme Committee of PLACES 2017: Programming Language Approaches to Concurrency- and Communication-cEntric Software
Publicity Chair of ECOOP 2017.
Speaker at Curry On 2016.
Programme Committee of 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016 - Track B)