conf.researchr.org / Ilaria Castellani
Ilaria Castellani

Registered user since Sat 15 Sep 2018

Name: Ilaria Castellani

Country: France

Affiliation: INRIA Sophia Antipolis, France

Personal website: http://www-sop.inria.fr/members/Ilaria.Castellani/

Research interests: Concurrency Theory, Secure Information Flow, Session Types

Contributions

BEAT 2019Author of Global Types with Internal Delegation within the BEAT 2019-track
OPCT 2019Committee Member in Organizing Committee within the OPCT 2019-track
Session Chair of Session Types (part of OPCT 2019)