Research

Research Areas

• Semantics of Concurrency
• Security
• Systems Biology

Research Projects

• TESLA
• PRIN SOFT - Tecniche formali orientate alla sicurezza
• IST-FP6 on FET-GC2 Integrated Project SENSORIA
• DEGAS
• Progetti co-finanziati:
  • IA, TS, CFA
  • MEFISTO