Ilaria Castellani
Scholar

Ilaria Castellani

Google Scholar ID: LIADksEAAAAJ
Researcher in Computer Science, INRIA, France
Concurrency theorySecure information flowSession types
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
440
 
H-index
13
 
i10-index
22
 
Publications
20
 
Co-authors
32
list available
Contact
EmailIlaria.Castellani@inria.frGitHubOpen ↗
Publications
1 items
Constructive characterisations of the must-preorder for asynchrony
2025
Cited
0
Resume (English only)
Academic Achievements
  • Participated in several academic conferences such as COORDINATION'25, CONCUR'24, PPDP'24, COORDINATION'24, PLACES'23.
Research Experience
  • Researcher at INRIA, Team SPLiTS, Centre of Sophia Antipolis Méditerranée.
Background
  • Research interests: Concurrency theory, Process calculi, Causality and locality-based semantics, Asynchronous process calculi, Synchronous reactive languages, Secure information flow, Session types.
Co-authors
32 total
Mariangiola Dezani-Ciancaglini
Mariangiola Dezani-Ciancaglini
Emeritus Professor of Computer Science, Torino University
Co-author 2
Co-author 2
Davide Sangiorgi
Davide Sangiorgi
Professor of Computer Science, University of Bologna
Paola Giannini
Paola Giannini
Universita' Piemonte Orientale
Co-author 5
Co-author 5
Jorge A. Pérez
Jorge A. Pérez
Associate Professor, University of Groningen
Co-author 7
Co-author 7
Co-author 8
Co-author 8