EN FR
EN FR


Section: Dissemination

Teaching

  • Master: Konstantinos Chatzikokolakis has been teaching the course “Concurrence” at the “Master Parisien de Recherche en Informatique” (MPRI) in Paris. Level M2. Total 12 hours.

  • Doctorat: Catuscia Palamidessi has been teaching a course on Quantitative Information Flow at the 11th International School on Foundations of Security Analysis and Design , Bertinoro, Italy. Total 6 hours.

  • PhD : Mario Sergio Ferreira Alvim Junior . Ecole Polytechnique. Grant CNRS/DGA. Title of his PhD thesis: Quantitative Approaches for Information Flow: An Analysis of Interactive Systems and Statistical Databases. Defended on 12 October 2011. Supervised by Catuscia Palamidessi.

  • PhD in progress (2011-) Lili Xu. Ecole Polytechnique and Chinese academy of Science, Beijing, China. Co-supervised by Catuscia Palamidessi and Huimin Li.

  • PhD in progress (2011-) Nicolás Bordenabe. Ecole Polytechnique. Grant INRIA/DGA. Supervised by Catuscia Palamidessi.

  • PhD in progress (2011-) Luis Fernando Pino Duque . Ecole Polytechnique. Grant INRIA/DGA. Co-supervised by Catuscia Palamidessi and Frank D. Valencia.

  • PhD in progress (2010-) Sophia Knight. Ecole Polytechnique. Grant INRIA/CORDIS. Co-supervised by Catuscia Palamidessi and Frank D. Valencia.

  • PhD in progress (2009-) Andrés Aristizábal . Ecole Polytechnique. Grant CNRS/DGA. Co-supervised by Catuscia Palamidessi and Frank D. Valencia.

  • PhD in progress (2009-) Ivan Gazeau. Ecole Polytechnique. Grant ANR. Co-supervised by Catuscia Palamidessi and Dale Miller.

  • PhD in progress : Nom du doctorant, titre (provisoire) du mémoire, date du début de la thèse, encadrant(s)

PhD defenses

Catuscia Palamidessi has been “rapporteur” for the thesis of the following PhD students:

  • Jacopo Mauro (University of Bologna, Italy). PhD thesis reviewer. Title of the thesis: Constraints meet Concurrency. Advised by Maurizio Gabbrielli. Defended in April 2012.

  • Morgan Barbier (Ecole Polytechnique, France). Member of the committee board at the PhD defense. Title of the thesis: Décodage en liste et application à la sécurité de l'information. Advised by Daniel Augot. Defended in December 2011.

  • Giulio Caravagna (University of Pisa, Italy). PhD thesis reviewer. Title of the thesis: Formal Modeling and Simulation of Biological Systems with Delays. Defended in December 2011.

  • Robert Abo (Conservatoire National des Arts et Métiers, France). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Approches formelles pour l?analyse de la performabilité des systèmes communicants mobiles : Application aux réseaux de capteurs sans fil. Advised by Kamel Barkaoui. Defended in December 2011.

  • Mathieu Sassolas (University of Paris VI, France). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Méthodes qualitatives et quantitatives pour la détection d'information cachée. Advised by Béatrice Bérard. Defended in November 2011.