Membro del progetto OpenSPCoop per
lo sviluppo di un framework open-source per la cooperazione
applicativa delle Pubbliche Amministrazioni (vedi
http://www.openspcoop.org).
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, Process Mining, Adaptive Systems.
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
Metodi
per la Verifica del Software - CdL Magistrale in Informatica [MVS,
cod. 373AA]
Attenzione: Il corso di MVS non verrà erogato nell'Anno Accademico 2013/14, ma verrà erogato regolarmente nell'A.A. 2014/15.
Logica per la programmazione (Corso A) - CdL in Informatica [LPP-A-12, cod. 009AA]
Programmazione
e Analisi dei Dati - Mod. A - Programmazione in Java -
Laurea Magistrale in Informatica Umanistica.
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.
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)