Associated Professor,
Computer Science Department,
University of Pisa,
Phone: +39 050 2212786,
Fax: +39 050 2212726.
Current Scientific Interests:
Algebraic and Categorical Semantics of Programming Languages,
Concurrency, Graph Grammars, Term Graph Rewriting, Term Rewriting,
Petri nets.
Membro del progetto OpenSPCoop per
lo sviluppo di un framework open-source per la cooperazione
applicativa delle Pubbliche Amministrazioni (vedi
http://www.openspcoop.org).
Member of the IST-FP7 on FET-Open
Integrated Project
ASCENS (ASCENS-internal-Wiki)
Short CV: Postscript, PDF
Orario ricevimento
Stanza 357 DO
Dipartimento di Informatica
Largo Pontecorvo 3
Logica per la programmazione (Corso A) - CdL in Informatica [LPP-A-11, cod. 009AA]
Programmazione
e Analisi dei Dati - Mod. A - Programmazione in Java -
Laurea Magistrale in Informatica Umanistica.
La prova di verifica si terrà martedì 8 novembre
dalle 12 alle 14 in Aula M
Metodi per la Verifica del Software - CdL Magistrale in Informatica [MVS, cod. 373AA]
Informatica - CdL in Fisica [INF, cod. 242AA]
Logica per la programmazione (Corso A) - CdL in Informatica [LPP-A-10, cod. 009AA]
Precorsi di Logica:
Lezioni del 14 e 16 settembre 2010 (PDF).
Informazioni sul corso di
Informatica/Informatica Generale - CdL in Scienze Naturali e Ambientali [INF-NAT-L]
Logica per la programmazione - Corso B [LPP-B-09]
Laboratorio
di Programmazione di Rete - Corso B [LPR-B-09]
(CLI)
Informatica - CdL in Scienze Naturali e Ambientali [INF-NAT-L]
Laboratorio
di Programmazione di Rete - Corso B [LPR-B-08]
(CLI)
Laboratorio
di Introduzione alla Programmazione - Corso A [LIP-A-07]
(CLI)
Laboratorio
di Introduzione alla Programmazione - Corso B [LIP-B-05]
(CLI)
Laboratorio
di Programmazione di Strutture Dati - Polo Marconi, La Spezia [SP-LSD-05]
(CLI).
Laboratorio
di Introduzione alla Programmazione - Corsi A-B-C [LIP]
(CLI)
Versione scaricabile completa del corso: LIP-04-Finale.tgz
(scompattare con WinZip o con tar xzf ... e
aprire LIP-04/index.html con un browser).
Laboratorio
di Programmazione di Strutture Dati - Polo Marconi, La Spezia [SP-LSD]
(CLI).
Versione scaricabile (aggiornata al 10
maggio 2004): SP-LSD-04-19.tgz
(scompattare con WinZip o con tar xzf ... e
aprire SP-LSD-04/LSD/index.html).
Laboratorio
di Programmazione di Strutture Dati - Corso B [LSDB] (CLI)
Versione scaricabile (FINALE): LSD-04-24.tgz
(scompattare con WinZip o con tar xzf ... e
aprire LSD-04/LSD/index.html).
Laboratorio
di Introduzione alla Programmazione - Corso B [LIPB]
(CLI)
Laboratorio
di Programmazione di Strutture Dati - Corso B [LSDB] (CLI)
(versione scaricabile, aggiornata al 28/4/2003: LSD-03-17.tgz [scompattare
l'archivio con WinZip (Windows) o con "tar -xzf
LSD-03-17.tgz" (Linux), quindi aprire il file index.htmlnella
directory LSD-03/LSD)
Laboratorio
di Programmazione di Strutture Dati - La Spezia
Laboratorio
di Introduzione alla Programmazione - Corso B [LIPB] (CLI)
Commissione Supporto
alla Didattica
Commissione Corsi
di Laboratorio del biennio (CCL)