Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
Fabio Gadducci
Università di Pisa (University of Pisa)
Dipartimento di Informatica (Computer Science Department)
Largo Pontecorvo 3c
56127
Pisa
Italy
e-mail:
fabio.gadducci@unipi.it
phone: +39 050 2212 716
fax: +39 050 2212 726
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