Ilaria Castellani

Registered user since Sat 15 Sep 2018

Name:Ilaria Castellani
Affiliation:INRIA Sophia Antipolis, France
Research interests:Concurrency Theory, Secure Information Flow, Session Types


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