Catuscia Palamidessi 
Director of Research at INRIA 
Leader of the equipe Comète 
  INRIA Saclay and LIX 
  Bâtiment Alan Turing
  rue Honoré d'Estienne d'Orves
  Campus de l'École Polytechnique,
  91120 Palaiseau, FRANCE
  Office: +33 (0)1 74 85 42 49
  Assistant: +33 (0)1 77 57 80 32
Publications [html , pdf] , Curriculum Vitae [html , pdf]
Associations: EATCS, ALP, PPDP.
Projects: Princess, Locali, Pace, Meals, CPP, Panda, Printemps.
Programs: ANR, DREI, Égide, PAI, INRIA offers for Postdocs and PhD positions.
Course in Pisa, 2014
Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5.
TGC 2013. 8th International Symposium on Trustworthy Global Computing. Buenos Aires, Argentina, 30-31 August 2013.
ICALP 2013. Track B. 40th International Colloquium on Automata, Languages and Programming. Riga, Latvia, 8-12 July 2013.
CSF 2013. 26th IEEE Computer Security Foundations Symposium. Tulane University, New Orleans, Louisiana, USA, 26-28 June 2013.
LICS 2013. 28th Annual ACM/IEEE Symposium on Logic in Computer Science. Tulane University, New Orleans, Louisiana, USA, 25-28 June 2013.
FOSSACS 2013. The 16th Int.l Conf. on Foundations of Software Science and Computation Structures. (Part of ETAPS 2013.) Rome, Italy, March 2013.
SOFSEM 2013. 39th International Conference on Current Trends in Theory and Practice of Computer Science. Špindleruv Mlýn, Czech Republic. January 2013.

I am married to Dale Miller. We have one daughter, Nadia, and one son, Alexis.
My favourite recipes.

Other links
ALP Newsletter.
Informations for visitors, Science Accueil, Trovare casa a Parigi Missions INRIA
Please send suggestions and comments to Catuscia Palamidessi:
Last Updated: January 22, 2013.