Projects

BISCASistemi e calcoli di ispirazione biologica e loro applicazioni (2006-2008)

SENSORIA Software Engineering for Service-Oriented Overlay Computers (2005-2009)

SYBILLASystems Biology: modellazione, linguaggi e analisi (2004-2006)

MEFISTO Metodi Formali per la Sicurezza e il Tempo (2001-2003)