Ilaria Castellani

Researcher at INRIA, Team INDES,

Centre of Sophia Antipolis Méditerranée

 

CV      IFIP WG1.8

BibTeX -->

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.Castellaniinria.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

Selected publications: HTML, BibTeX

Events