Silvia Crafa

logo Pd
Dipartimento di Matematica "Tullio Levi-Civita"
Università di Padova
Via Trieste 63, 35121 Padova, Italy

Phone: +39-049-827.1490
Fax: +39-049-827.1499
Email:
   

Research  Interests

   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 LICS 2021: Logic in Computer Science
   Programme Committee of FMICS 2021: International Conference on Formal Methods for Industrial Critical Systems
   Programme Committee of APLAS 2020: Asian Symposium on Programming Languages and Systems
   Programme Committee of GandALF 2020 Symposium on Games, Automata, Logics, and Formal Verification
   Programme Committee of FMBC 2020 Workshop on Formal Methods for Blockchains
   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


   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.

   Vienna Manifesto on Digital Humanism - Manifesto di Vienna per l'Umanesimo Digitale


Publications


Didattica

        Aspetti avanzati dei linguaggi di programmazione

        Consapevolezza Digitale (Laurea in Diritto e Tecnologia)

        Tre (+ uno) 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?






canova6


canova4