Attività di Ricerca

Attuali interessi: modelli formali (principlamente Abstract State Machine e reti di Petri); Mobile Ad-hoc NETwork (MANET); protocolli di sicurezza