Ilaria Castellani
Researcher at INRIA, Team INDES,
Centre of Sophia Antipolis Méditerranée
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, Process calculi,
Causality
and locality-based semantics,
Asynchronous process calculi,
Synchronous
reactive languages,
Secure information flow, Session
types
Research interests
Publications
Events
