|
Catuscia Palamidessi was born in Fucecchio (FI) in 1959. She got her PhD in Computer Science at the University of Pisa in 1988, where she also became Assistant Professor in the same year. Later she moved to the Pennsylvania State University, USA (1998-2002), where she held a position of professor in Computer Science and Engineering. At present she is Director of Research at the INRIA
(Institut National de Recherche en Informatique et en Automatique), where she leads the team Comète.
Catuscia Palamidessi's research interests include Concurrency, Mobility, and Distributed Systems.
Catuscia Palamidessi has been appointed Program Committee Chair of several conferences, including 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), and MSPS XXV (Mathematical Foundations of Programming Semantics).
She is in the Editorial board of the Cambridge University Press journals MSCS (Mathematical Structures in Computer Science) and TPLP (Theory and Practice of Logic Programming. She is in the Steering Committee of EATCS (the European Association of Theoretical Computer Science).
Catuscia Palamidessi has been one of the founders of the the workshop EXPRESS, the forum of the researchers interested in the expressiveness of Concurrent languages. Catuscia Palamidessi has been involved as principal investigator in several projects at the national and international levels,
including 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 has several collaboration at the international level: in particular Mc Gill University (Ca), Tulane University (USA), the University of Oxford (UK), the University of Berlin (De), and the Basic Research Instutute (Dk).
|