|
Catuscia Palamidessi è nata a Fucecchio (FI) nel 1959. Nel 1988 ha conseguito un PhD in Informatica all’Università di Pisa, dove è diventata professore aggiunto più tardi lo stesso anno. Si è poi trasferita alla Pennsylvania State University, USA (1998-2002) dove ha ricoperto il ruolo di Professore d’Informatica e Ingegneria dell’Informazione. È Direttrice di Ricerca presso l’INRIA (Institut National de Recherche en Informatique et en Automatique) dove guida il team ‘Comète’.
Le ricerche di Catuscia Palamidessi si concentrano sulla Concorrenza, Calcolo Mobile e Sistemi Distribuiti.
È stata nominata Chair di Comitati di Programma di diverse conferenze, comprese CONCUR 2000 (International Conference in Concurrency Theory), ICALP 2005 (International Colloquium on Automata, Languages and Programming), SOFSEM 2009 (International Conference on Current Trends in Theory and Practice of Computer Science), e MSPS XXV (Mathematical Foundations of Programming Semantics).
È membro della redazione dei Cambridge University Press Journals MSCS (Mathematical Structures in Computer Science) e TPLP (Theory and Practice of Logic Programming). Fa parte del Comitato Direttivo dell’EATCS (European Association of Theoretical Computer Science).
È stata co-fondatrice del workshop EXPRESS, il forum per ricercatori interessati all’espressività dei linguaggi di programmazione concorrenti. È stata inoltre la ricercatrice principale di vari progetti al livello nazionale ed internazionale, come Rossignol (Concurrency and Security, 2004-07), Pronobis (Probability and Nondeterminism in Security, 2006-07), Printemps (Foundational aspects of Information Hiding, 2007-), PANDA (Analysis of Parallelism and Distribution, 2009-) and CPP (Confidence, Proof and Probabilities, 2009-).
Catuscia Palamidessi ha stretto diverse collaborazioni al livello internazionale, in particolare con: Mc Gill University (Ca), Tulane University (USA), the University of Oxford (UK), the University of Berlin (De), ed il Basic Research Instutute (Dk).
|
