Foto Paola Giannini

Paola GIANNINI

 
Macro struttura
 
SSD INF/01
Matricola 000088

Impegni settimanali

Ricevimento e Altre Informazioni

Mercoledi' dalle 11 alle 13 o su appuntamento inviando e-mail

A. A. 2011 / 2012
Primo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
SSD: INF/01
CFU: 9
Ore: 72
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
Secondo Semestre
SSD: INF/01
CFU: 2
Ore: 20
Dipartimento: Dipartimento di Medicina Traslazionale
SSD: INF/01
CFU: 3
Ore: 24
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2012 / 2013
Primo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
Secondo Semestre
SSD: INF/01
CFU: 3
Ore: 24
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2013 / 2014
Primo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
Secondo Semestre
SSD: INF/01
CFU: 2
Ore: 16
Dipartimento: Dipartimento di Medicina Traslazionale
SSD: INF/01
CFU: 3
Ore: 24
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2014 / 2015
Primo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
Secondo Semestre
SSD: INF/01
CFU: 2
Ore: 16
Dipartimento: Dipartimento di Medicina Traslazionale
SSD: INF/01
CFU: 3
Ore: 24
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2015 / 2016
Annuale
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
Primo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2016 / 2017
Annuale
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
Primo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
Secondo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2017 / 2018
Primo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
Secondo Semestre
SSD: INF/01
CFU: 6
Ore: 48
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica

Pubblicazioni

Ricerca

Linguaggi dinamici. In questa area si indagano i fondamenti dei linguaggi dinamici e il loro uso come linguaggi oggetto per la compilazione di linguaggi funzionali. L'obiettivo è quello di fornire le basi teoriche e strumenti pratici per gestire linguaggi che supportano il controllo di tipo statico e dinamico.

Tipi comportamentali. Studiamo la teoria dei tipi comportamentale come base per nuovi fondamenti, e metodi di sviluppo software per sistemi distribuiti ad alta intensità di comunicazione. I tipi comportamentali sono usati per specificare i protocolli, e le coreografie in sistemi complessi, fornendo astrazioni per la strutturazione del comportamento di comunicazioni complesse.

Adattamento di linguaggi. Progettiamo e diamo una definizione formale per i micro-linguaggi di programmazione e la loro mappatura su applicazioni. Analizziamo i linguaggi di uso comune in termini di micro-linguaggi, e sviluppiamo algoritmi per l'identificazione automatica delle specificità delle applicazioni e la loro associazione ai micro-linguaggi.

Modellazione di sistemi biologici. Sviluppiamo modelli, linguaggi e strumenti per descrivere, analizzare e implementare “in silico” sistemi biologici. I nuovi formalismi condividono con gli attuali la  semantica eseguibile, consentendo, così,  il riutilizzo di teorie, metodi e strumenti consolidati.

-----------------------------------------------------------------

Dynamic languages. In this area we investigate the foundations of dynamic languages and their use as target languages for compilation of functional languages. The aim is to provide theoretical foundations and practical tools to deal with languages that support static and dynamic type checking.

Behavioral types. We study behavioral type theory as the basis for new foundations, and software development methods for communication-intensive distributed systems. We use behavioral types to specify protocols, and choreography in large-scale systems, providing structuring abstractions for complex communication behavior.

Language adaptation. We design and give a formal definition for micro-languages and their mapping to application features. We analyze mainstream languages in terms of micro-languages, and  develop  algorithms for the automatic identification of application concerns and their association with the micro-languages.

Modeling Biological Systems. We develop models, languages and tools for describing, analyzing and implementing “in silico” bio-systems. The newly tailored formalisms share with the existing ones their formal, executable semantics, thus allowing for re-use of established theories, methods and tools.