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

Member of the IST-FP7 on FET-Open Integrated Project ASCENS (ASCENS-internal-Wiki)

Short CV: Postscript, PDF

Didattica

Orario ricevimento
Stanza 357 DO
Dipartimento di Informatica
Largo Pontecorvo 3


A.A. 2011-12

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


A.A. 2010-11

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]


A.A. 2009-10

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]


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)