Fabio Gadducci

• Some of my papers
  • DBLP
  • UPisa database
• Past teaching activities
  • Linguaggio Matematico di Base, Modellazione e Ragionamento [LMB 2013, 2014, 2015, 2016]: didawiki 2016
  • Logica per la Programmazione, corso A [LPP-A 2013]: pagina del corso B (in parallelo)
  • Laboratorio di Programmazione 1, corso A e B [PR1L 2013]: pagina di riferimento
  • Logica per la Programmazione, corso B [LPP-B 2014, 2015, 2016, 2017] (assistenza)
  • Ingegneria del software, corso A [IS-A 2014]: pagina di riferimento
  • Programmazione 2, corso B [PR2-B 2014, 2015, 2016, 2017]: pagina di riferimento 2017-18
  • Programmazione 1, corso B [PR1-B 2016]: pagine di riferimento primo e secondo modulo
  • Software Validation and Verification [SVV 2018, 2019, 2020, 2021, 2022, 2023]
  • Systems and Languages for Informatics (C Programming) [SLI 2021]: reference page
  • Paradigmi di Programmazione [PP 2022, 2023]
• Teaching activities
  • Software Validation and Verification [SVV 2024]: reference page
• Office hours: Tuesday, 14-16
  • Send anyhow a mail for confirming the meeting, or for requesting a different time
• Some historical interests
  • The Museum of Computing Machinery (Il Museo degli Strumenti per il Calcolo)
  • The cep50 exhibition (La mostra sui 50 anni della CEP)
  • A course on history
• IFIP memberships
  • WG 1.3 Foundations of System Specification
  • WG 9.7 History of Computing