Silvia Crafa

Silvia Crafa is an Associate Professor of Mathematical Logic at the Department of Mathematics "Tullio Levi-Civita" at the University of Padova. She holds multiple affiliations including membership in IFIP Working Group 1.8 on Concurrency Theory, the National Laboratory CINI on Informatics and Society, and the Informatics Europe/ACM Europe Working Group on Ethics and Automated Decision Systems. She serves on editorial boards for Journal of Responsible Technology (Elsevier) and Journal of Ethics and Legal Technologies (PUP).

• Department of Mathematics "Tullio Levi-Civita", University of Padova (Current)
• IFIP Working Group 1.8 on Concurrency Theory (Member)
• National Laboratory CINI on Informatics and Society (Member)
• Vienna Manifesto on Digital Humanism (Signatory)
• Journal of Responsible Technology (Editorial Board)

Professor Crafa's research spans interdisciplinary areas at the intersection of computer science, law, and digital ethics. Her primary focus areas include formal methods for smart contracts and blockchain verification, programming language theory (particularly type systems and concurrency models), and the social impact of digital technologies. She has developed significant work on Stipula, a domain-specific language for legal contracts, and conducts pioneering research on moral exercises for human oversight of AI systems. Her work bridges theoretical computer science with practical legal and ethical applications.

Analysis of her recent publications (2021-2025) reveals a clear shift toward blockchain verification, legal-tech integration, and digital ethics. Her work spans both theoretical contributions (formal verification methods, type systems) and applied research (Italian election law analysis, smart contract security). The publications demonstrate strong interdisciplinary connections between computer science, law, and philosophy, with increasing emphasis on responsible technology development.

• Winner of the award for the two best Italian PhD theses in theoretical computer science (2003)
• Signatory of the Vienna Manifesto on Digital Humanism
• Programme Committee Member for major conferences including LICS 2021 and DLT 2024/2025
• Active speaker at national legal-tech conferences throughout 2023-2025

Professor Crafa supervises research in formal methods, blockchain technology, and digital ethics. Her recent publication record indicates active research funding, particularly in blockchain verification and legal-tech intersections. She has secured speaking engagements at major national conferences including the Association of Administrative Lawyers (2025), National Association of Administrative and Financial Directors (2024), and multiple symposia on AI, blockchain, and digital ethics. Her role on program committees for Distributed Ledger Technology Workshop suggests strong grant support for blockchain research.

Professor Crafa leads research activities through multiple institutional affiliations including the Department of Mathematics at Padova, the National Laboratory CINI on Informatics and Society, and the Noumenon thinking lab. Her work on Stipula represents a significant research initiative in legal-tech integration. She collaborates extensively with researchers across computer science and legal domains, as evidenced by her multi-author publications in blockchain verification and smart contract analysis.