Catuscia Palamidessi
Director of Research at
INRIA
Leader of the equipe
Comète
INRIA Saclay
and
LIX
LIX,
École Polytechnique
, Rue de Saclay,
91128 Palaiseau Cedex, FRANCE
Office:
+33 (0)1 69 33 41 17
Assistant:
+33 (0)1 69 33 40 32
Fax:
+33 (0)1 69 33 40 49
Email:
firstname
@lix.polytechnique.fr
URL:
www.lix.polytechnique.fr/~catuscia
Professional
Publications [
html
,
pdf
] , Curriculum Vitae [
html
,
pdf
]
Journals:
MSCS
,
TPLP
,
ENTCS
,
JFLP
.
Associations:
EATCS
,
ALP
,
PPDP
.
Projects:
ANR blanc CPP
,
ANR blanc Panda
,
Printemps
.
Programs:
ANR
,
DREI
,
Égide
,
PAI
, INRIA offers for
Postdocs
and
PhD
positions.
Conferences
CONCUR 2010
. The 21st International Conference on Concurrency Theory. Paris, France, September 2010.
LIS 2010
. Workshop on Logics in Security. Copenhagen, Denmark, August 2010.
LICS 2010
. The twenty-Fifth Annual IEEE Symposium on Logic In Computer Science. Edinburgh, UK. July 2010.
FCS-PrivMod 2010
. Workshop on Foundations of Security and Privacy. Edinburgh, UK, July 2010.
MFPS XXVI
. The 26th Conference on the Mathematical Foundations of Programming Semantics, Ottawa, Canada, May 2010.
BCTCS 2010
. British Colloquium for Theoretical Computer Science. Edinburgh, UK. April 2010.
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
Please send suggestions and comments to Catuscia Palamidessi:
catuscia@lix.polytechnique.fr
.
Last Updated: January 10, 2010.