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.