Andrea Corradini

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).

Short CV: Postscript, PDF

Didattica (Teaching)

Ricevimento studenti:
Lunedì 15:00-18:00, Studio 357, secondo piano.
Nel caso il Dipartimento sia chiuso, chiamare lo 050 2212786
Anche su appuntamento (acorradi@cli.di.unipi.it)

A.A. 2009-10

Logica per la programmazione - Corso B [LPP-B-09]

Laboratorio di Programmazione di Rete - Corso B [LPR-B-09] (CLI)

A.A. 2008-09

Informatica Generale e Laboratorio di Sistemi Informativi Territoriali (presso Scienze e Tecnologie Ambientali) [IG-09]

Laboratorio di Programmazione di Rete - Corso B [LPR-B-08] (CLI)

A.A. 2007-08

Laboratorio di Introduzione alla Programmazione - Corso A [LIP-A-07] (CLI)

A.A. 2005-06

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).

A.A. 2004-05

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).

A.A. 2003-04

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)

A.A. 2002-03

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)

COMMISSIONI

Commissione Supporto alla Didattica

Commissione Corsi di Laboratorio del biennio (CCL)

Andrea Corradini (andrea@di.unipi.it)