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, 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


Didattica

Orario ricevimento
Stanza 357 DO
Dipartimento di Informatica
Largo Pontecorvo 3



A.A. 2014-15

Principles of Programming Languages - Master Programme in Computer Science [PLP-2014, cod.603AA, ECTS credits: 9]
The course will start on Monday, November 10, 2014, at 11 AM in Aula A1.
The course material is under revision. On-line teaching material of previous editions of the course [12 ECTS credits] can be found in Prof. Marco Bellia's web pages.

Logica per la programmazione (Corso A) - CdL in Informatica [LPP-A-14, cod. 009AA]

Linguaggio Matematico di Base, Modellazione e Ragionamento [LMB 2014]

Il corso di MVS non verrà erogato nell'Anno Accademico 2014/15 per mancanza di iscritti.



A.A. 2013-14

Programmazione II (Corso B) - CdL in Informatica [LPP-B-13, cod. 273AA]

Logica per la programmazione (Corso B) - CdL in Informatica [LPP-B-13, cod. 009AA]

Linguaggio Matematico di Base, Modellazione e Ragionamento [LMB 2013]



A.A. 2012-13

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.



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.



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)