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
Languages.
Current Scientific Activities
Programme Committee of APLAS 2019: Asian Symposium on Programming Languages and Systems
Speaker al simposio Algoritmi e tutela dei diritti fondamentali. Treviso 30/11/2018
Speaker del workshop Politiche per governare il futuro digitale: attori, strumenti ed impatto. Padova 23/11/2018
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)
