Social impact of new technologies and digital revolution
Epistemic aspects of computer science
Formal methods for smart contracts and blockchan technologies
Types for protocol-oriented programming
Comparative programming language analysis
Concurrent programming languages
Concurrency theory: True Concurrency
Mobile concurrent systems: semantics, type
systems, security issue.
Types for Object Oriented
Languages.
Recent Scientific Activities
Programme Committee of PLACES 2020 Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Programme Committee of RADICAL 2019 Workshop on Recent Advances in Concurrency and Logic
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)
Tre lezioni sull'impatto sociale delle nuove tecnologie
1) La tecnologia e' neutrale?
2) Le criticita' dell'intelligenza artificiale e delle tecnologie di blockchain
3) L'etica nella rivoluzione digitale: lavorare sulla tecnologia o sulle persone?
