Professore Ordinario – Dipartimento di Informatica | Tel.: 050 2212786 – Email: andrea.corradini@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"4316","unipi-persone-nome":"Andrea","unipi-persone-cognome":"Corradini","unipi-persone-email":"andrea.corradini@unipi.it","unipi-persone-cv":"Titoli di studio: Laurea in Scienze dell'Informazione (110\/110 e lode, 1984), e Diploma della Scuola Normale Superiore (1985).
\r\nDottorato in informatica presso l'Universita' di Pisa (1990).
\r\n
\r\nEsperienze professionali:
\r\n1984-1985: Lavora presso la DELPHI s.p.a. (Viareggio) come software engineer.
\r\n1990-1991: Borsa CNR (9 mesi) presso la Technische Universitaet di Berlino
\r\n1992: Ricercatore presso Dipartimento di Informatica di Pisa
\r\n1996-1997: Borsa TMR della UE (12 mesi) presso il CWI di Amsterdam
\r\n2002: Professore Associato presso lo stesso Dipartimento
\r\n2012: Professore Ordinario presso lo stesso Dipartimento
\r\n
\r\nProgetti di ricerca:
\r\nCoordinatore Europeo della rete TMR \"General Theory of Graph Transformation Systems\" (GETGRATS) (1996-2001)
\r\nTeam Leader del progetto AGILE (Architectures for Mobility) (2002-2004) [iniziativa FET Global Computing della UE].
\r\nEsperienza di gestione in altri progetti europei (APPLIGRAPH (1997-2000), COMPUGRAPH II (1993-1996), MASK (1993-1995)). Partecipazioni in numerosi altri progetti europei e italiani.
\r\n
\r\nConvegni e Conferenze:
\r\n(Co-)Chair del comitato organizzativo dei Workshop SEGRAGRA'95 (Volterra, I) e GT-VMT 2000 (Geveva, CH). Co-chair del PC delle conferenze ICGT'02 (Barcellona, E) e CALCO'11 (Winchester,UK), e dei convegni WADT'08 (Pisa, I) e TERMGRAPH'09 (York UK). Membro del PC di circa 40 tra convegni e conferenze dal 2000 ad oggi.
\r\nMembro di IFIP WG 1.3, e degli Steering Commitee di ICGT (dal 2000) e di WADT (2009).
\r\n
\r\n(Co-)Autore di circa 100 articoli (di cui circa 20 su riviste internazionali).
\r\n
\r\nInteressi di Ricerca Attuali:
\r\nSpecifica e verifica di sistemi concorrenti e distribuiti; Tecniche categoriali e algebriche per la semantica di formalismi computazionali; Sistemi di riscrittura; Specifiche algebriche e coalgebriche; Semantica della concorrenza; Sistemi adattivi e autonomici; Analisi di Processi di Business.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"","unipi-persone-luogo-ricevimento":"Office (room 286)","unipi-persone-ore-ricevimento":"By appointment: andrea.corradini@unipi.it","unipi-persone-telefono":"050 2212786","unipi-persone-sitoweb":"www.di.unipi.it\/~andrea","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=008054","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=008054&tmplt=principale.tpl","unipi-persone-settore-scientifico":"Informatica INFO-01\/A","unipi-persone-ruolo":"Professore Ordinario","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp13031","unipi-persone-pubblicazioni":"