
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
POPL 2019-profile
View general profile
View general profile