Ilaria Castellani

 

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