Giorgio Ghelli

Email: giorgio.ghelli@unipi.it

Telefono: 050 221 2780

Sito web: http://www.di.unipi.it/~ghelli

Profilo

Ruolo: Professore Ordinario

Giorgio Ghelli è professore di prima fascia in Informatica all'Università di Pisa, dal Settembre del 2002, ed è stato professore associato di Basi di Dati e Sistemi Informativi dal Novembre del 1992. È stato visiting professor all'Ecole Normale Supérieure di Parigi (1993), al Microsoft Research Center di Cambridge (UK) (1998), e presso la Microsoft Co. (Redmond, USA, 2005).
I suoi interessi di ricerca sono: progettazione e realizzazione di linguaggi per basi di dati, teoria dei tipi e sua applicazione al tema precedente, fondamenti di linguaggi ad oggetti, linguaggi e sistemi peer-to-peer per interrogare dati semistrutturati ed XML. Ha contribuito al disegno ed alla realizzazione dei linguaggi per basi di dati Galileo e Fibonacci e del linguaggio TQL, un linguaggio per interrogare dati semi-strutturati ed XML.
Ha partecipato a numerosi progetti internazionali relativi a linguaggi e sistemi per basi di dati ed a linguaggi di programmazione.
Ha partecipato a comitati di programma di conferenze e workshop internazionali e nazionali dedicati a linguaggi ad oggetti ed a basi di dati. È stato program chair dei workshop DBPL'01 (Database Programming Languages), FOOL'03 (Foundations of Object Oriented Languages), PLAN-X'07 (Programming Language Technologies for XML).
Ha pubblicato più di ottanta lavori su riviste, conferenze e workshop internazionali con referee, lavorando con Antonio Albano, Luca Cardelli, Pierre-Louis Curien, Andrew Gordon, Giuseppe Castagna, Giuseppe Longo, Benjamin Pierce, Jérôme Siméon, ed altri.
Fa parte del board dell'EAPLS (European Association for Programming Languages and Systems), e della giunta del GRIN, l'associazione di categoria del docenti universitari del settore IBF/01.

Didattica

Attività didattica

Incarichi di responsabilità didattica di moduli/insegnamenti



Ricevimento

Modalità: Per sicurezza contattatemi prima

Luogo: Dip.to di Informatica, Stanza 290

Orario: Lunedì, ore 9:45 - 12:45

Ricerca

Pubblicazioni