Presentazione

Dettaglio Docente

CRAFA SILVIA

Ricercatore universitario confermato

Dipartimento di Matematica

049 8271490

crafa@math.unipd.it

http:// www.math.unipd.it/~crafa

INF/01

Curriculum Scientifico

Ricercatore presso l'Universita' di Padova dal Gennaio 2005. Inizialmente l'attivita' di ricerca di Silvia Crafa si e' focalizzata sullo studio della teoria dei tipi per calcoli ad oggetti. In seguito, le sue ricerche si sono orientate sullo studio di tecniche di analisi statica e verifica delle proprieta' comportamentali dei sistemi concorrenti distribuiti. Nell'ambito della programmazione mobile e distribuita, ha ideato, in collaborazione con altri autori, il calcolo dei Boxed Ambients, ampiamente citato in letteratura. In una serie di lavori ha studiato i fondamenti semantici e le teorie dei tipi per questo calcolo; questi studi le hanno valso il conferimento, nell' Ottobre 2003, del premio per la miglior tesi italiana di dottorato in informatica teorica bandito dal Capitolo Italiano dell'European Association for Theoretical Computer Science.

Pubblicazioni più Rilevanti

1. Controlling Information Release in the pi-calculus. S. Crafa and S. Rossi. Information and Computation 205 (2007):1235-1273. 2. Compositional Event Structure Semantics for the Internal pi-calculus S. Crafa, D. Varacca, N. Yoshida. CONCUR'07 - Concurrency Theory. LNCS 4703, pag 317-332, Sept 2007. 3. Access Control for Mobile Agents: the Calculus of Boxed Ambients. M. Bugliesi, G. Castagna, S. Crafa. ACM Transactions on Programming Languages and Systems 26(1):57-124, Jan. 2004. 4. Type Based Discretionary Access Control M. Bugliesi, D. Colazzo, S. Crafa. CONCUR'04 - Concurrency Theory. LNCS n.3170, pages 225-239, Sept 2004 5. Secrecy in Untrusted Networks M. Bugliesi, S. Crafa, A. Prelic and V. Sassone. ICALP'03. LNCS n.2719, pages 969-983, July 2003.