Research interests Semantics of Concurrency Security Systems Biology Projects PRIN Security Horizons TESLA PRIN SOFT - Tecniche formali orientate alla sicurezza IST-FP6 on FET-GC2 Integrated Project SENSORIA
Research interests
Semantics of Concurrency Security Systems Biology
Projects
PRIN Security Horizons TESLA PRIN SOFT - Tecniche formali orientate alla sicurezza IST-FP6 on FET-GC2 Integrated Project SENSORIA