COMETE - 2012 - Annual activity report

COMETE

Section: Partnerships and Cooperations

Carlos Olarte.: Associate professor at the Pontificia Universidad Javeriana, Colombia. He visited for one month in July 2012, funded by the Ecole Polytechnique.
Moreno Falaschi.: Full professor at the Università di Siena, Italy. He visited for one month in June 2012, funded by the Ecole Polytechnique.
Elaine Pimentel.: Associate professor at the Universidade Federal de Minas Gerais, Belo Horizonte, Brazil. She visited for one month in July 2012, funded by the Ecole Polytechnique/Digiteo.
Linda Brodo.: Assistant professor at the Università di Sassari, Italy. She visited for one month in June 2012, funded by the Ecole Polytechnique/Digiteo.
Vladimiro Sassone.: Full professor at the University of Southampton, UK. He visited for two months in October and November 2012, funded by the Ecole Polytechnique/Digiteo.
Camilo Rueda.: Full professor at the Pontificia Universidad Javeriana,Colombia. He visited for two months in October and November 2012, funded by the Ecole Polytechnique.

Name:

Lili Xu

Duration:

From October 2011 until October 2012)

Subject:

Compositionality of privacy on a probabilistic process calculus

Institution:

Chinese Academy of Sciences of Beijin (China)

Support:

ANR project PANDA, Inria, and Chinese Academy of Sciences

Name:

Marco Stronati

Duration:

From October 2011 until March 2013

Subject:

Compositional analysis of queries' sensitivity

Institution:

University of Pisa, Italy

Support:

Ecole Polytechnique and University of Pisa

Name:

Fernán Martinelli

Duration:

From September 2012 until March 2013

Subject:

Computation of bounds on the information flow

Institution:

University of Rio Cuarto, Argentina

Support:

FP7 project MEALS