Ilaria Castellani

INRIA, 2004 Route des Lucioles,
BP 93, 06902 Sophia Antipolis
FRANCE
Tel: (33)(0)4 92 38 76 40
Fax: (33)(0)4 92 38 50 29
Email: Ilaria.Castellani☺inria.fr
Office: F128, Fermat building
Concurrency theory
Calculi of concurrent and mobile processes
Event structures and Petri nets
Causality and locality-based semantics
Asynchronous process calculi
Secure information flow for concurrency
Session types for security
Research interests
Publications