Silvia Crafa

Dipartimento di Matematica

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
   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

   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)

   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.

Publications

Didattica

        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?

        Aspetti avanzati dei linguaggi di programmazione