|
GIANLUIGI
ZAVATTARO
|
||
CompReNDe: Compositional and
executable Representation of Nano Devices
'Progetto Strategico' of the University of Bologna, 2006-2009
SENSORIA: Software Engineering
for Service-Oriented Overlay Computers
EU funded project, FP6 Global Computing II initiative, 2005-2009
Foundations of Web Services Programming Languages
A Microsoft Research Grant, 2005-2007
Adaptive Protocol Framework and
Applications for Wireless Ad-Hoc Networks
A ST-Microelectronics Research Grant, 2002-2005
Network
Aware Programming: Oggetti, Linguaggi, Implementazioni (NAPOLI)
Italian Project MIUR, 2001-2003
Network
Aware Programming and Interoperability (NAPI)
A Microsoft Research Grant, 2001-2003
Theory
of Concurrency, Higher Order Languages and Types (TOSCA)
Italian Project MURST, 1999-2001
COORDINA:
from Coordination Models to Applications
Esprit Working Group n.24512, 1997-2000
Sistemi
Formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione
di Sistemi Software
Italian Project MURST, 1997-1998
COORDINATION:
Linguistic support for Multiple Cooperating Agents
Esprit Basic Research Action n.9102, 1994-1997