Interdisciplinary aspects of Law and Computer Science
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 FORTE 2023: International
Conference on Formal Techniques for Distributed Objects, Components,
and Systems
Programme Committee of PLACES 2023: Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Keynote speaker of Express/SOS 2022: Expressiveness in Concurrency and Structural Operational Semantics
Programme Committee of LICS 2021: Logic in Computer Science
Programme Committee of FMICS 2021: International Conference on Formal Methods for Industrial Critical Systems
Speaker del workshop La governance del futuro: strategie e opportunita', cosa stiamo imparando dalla pademia . Padova 23/11/2020
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
Member of the IFIP WG 1.8 on Concurrency Theory.
Membro del Laboratorio Nazionale CINI su Informatica e Societa'.
Member of the
Informatics Europe and ACM Europe WG on Ethics and Automated Decision Systems.
Membro del centro studi Noumenon - thinking lab for the study and understanding of nature, mind and society. Universita' di Padova.
Membro del comitato scientifico della rivista di cultura informatica Mondo Digitale, ed. AICA
Membro dell'editorial board della rivista internazionale Journal of Responsible Technology. Ed. Elsevier
Membro dell'editorial board della rivista internazionale Journal of Ethics and Legal Technologies. Ed.PUP.
Tre (+ una) lezioni sull'impatto sociale delle nuove tecnologie:
0) L'ingrediente nascosto della scienza: la filosofia.
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?
