Research Projects

• Models, Calculi and Languages for Network Aware Programming (NAPOLI)
  MURST programma di ricerca di interesse nazionale (starting date: 1/1/2002, duration: 24 months)

• Network Aware Programming and Interoperability (NAPI)
  A Microsoft Research Grant
  • General information

• Mobile Calculi based on Domains (MIKADO)
  Funded by EU proactive initiative FET-Global Computing  (Contract IST-2001-32222)
  • General information

• Architectures for Mobility (AGILE)
  Funded by EU proactive initiative FET-Global Computing  (Contract IST-2001-32747)
  • General information

• Software Engineering for Service-Oriented Overlay Computers (SENSORIA)
  Funded by EU, Sixth Framework Programme, Priority 2 – Information Society Technologies (Contract number 016004).
  • General information

• Quantified Information Flow for Process Algebras
  Grant of the Royal Society (UK), for bilateral exchanges between “La Sapienza” and “Kings College” of London.