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