photo
 
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
  Email: (λx.λy.λz.λw. x@y.z.w) catuscia lix polytechnique fr (hint);
  URL: www.lix.polytechnique.fr/~catuscia 
 
Professional
Publications [html , pdf] , Curriculum Vitae [html , pdf]
Journals: MSCS, TPLP, ENTCS, JFLP.
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.
Conferences
ETAPS 2015. The 18th European Joint Conferences on Theory and Practice of Software. London, UK, 11-18 April 2015.
LICS 2015. 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6-10 July 2015.
ATVA 2015. 13th International Symposium on Automated Technology for Verification and Analysis. Shanghai, China, 12-15 October 2015.
FORTE 2015. 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems. INRIA Grenoble, France, 2-4 June 2015.

Personal
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
Last Updated: October 6, 2014.
Geotarget