SBMF - Invited speaker: Catuscia Palamidessi

 

Catuscia Palamidessi is Director of Research at INRIA Saclay, where she leads the team COMETE. She got her PhD at the University of Pisa in 1988. She held Full Professor positions at the University of Genova, Italy (1994-1997), and at the Pennsylvania State University, USA (1998-2002).

Catuscia Palamidessi's present research interests include Security and Concurrency. Her past achievements include the proof of expressiveness gaps between various concurrent calculi, the development of a probabilistic version of the asynchronous pi-calculus. More recently, she has contributed to establish the foundations of probabilistic secure information flow.

Catuscia Palamidessi has been appointed Program Committee Chair or General Chair of several conferences, including PLILP/ALP'98, CL 2000, CONCUR 2000, ICLP 2003, ICALP 2005, SOFSEM 2009 and QEST 2011, and she has served as PC member in more than 70 conferences. She has been invited speaker at several conferences, including CONCUR 1999, PPDP 2003, MFPS XXI, LICS 2010, AMASt/MCM 2010 and ICALP 2011. She is in the Editorial board of the journals Mathematical Structures in Computer Science (Cambridge University Press), Theory and Practice of Logic Programming (Cambridge University Press) and Electronic Notes in Theoretical Computer Science (Elsevier). She is in the Steering Committee of EATCS (European Association for Theoretical Computer Science), ETAPS (European Joint Conferences on Theory and Practice of Software), and ARSPA-WITS (Theory of Security).

For more details, visit her home page.



Promotion

   

Organization

       

Sponsorship