Silvia Crafa
- Tipologia: Docenti Afferenti
- Qualifica: Professore Associato
- SSD: MATH-01/A
- Stanza: 4DA8
- Telefono: 049 827 1490
- E-mail: crafa@math.unipd.it
- Web page: http://www.math.unipd.it/~crafa
- Ricerca: https://www.research.unipd.it/cris/rp/rp06900
- Aree di Ricerca:
- Philosophy of science, epistemology, logic (Epistemic aspects of computer science; Interdisciplinary aspects of Law and Computer Science; Interdisciplinary analysis of the impact of digital technologies)
- Theoretical computer science, formal methods, automata (Formal methods and theory of programming languages; Formal methods for smart contracts and blockchan technologies)
- Logic and foundation (Interdisciplinary aspects of logic and computational thinking)
