Scholar
Fabio Gadducci
Google Scholar ID: ugYkdyYAAAAJ
Professore di Informatica, Università di Pisa
Citations & Impact
Citations
755
H-index
12
i10-index
16
Publications
20
Co-authors
24
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published numerous papers and is a member of IFIP Working Groups 1.3 (Foundations of System Specification) and 9.7 (History of Computing).
Research Experience
- Has been teaching at the Department of Computer Science, University of Pisa, for many years, covering courses such as Basic Mathematical Language, Logic for Programming, Programming Laboratory, among others.
Background
- Research interests lie in the field of computer science, with a particular focus on logic for programming, software validation and verification. He is a professor at the University of Pisa.
Miscellany
- Interested in the history of computing machinery, involved in activities related to the CEP 50-year exhibition.
