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.

• Master: Miguel E. Andrés, Konstantinos Chatzikokolakis, and Catuscia Palamidessi have been teaching an advanced course on Quantitative Information Flow and on Differential Privacy at RIO 2012 , the Summer School on Informatics Río Cuarto, Argentine. Total 20 hours. 13-18 February 2012.

• Master. Frank D. Valencia has been teaching an advanced course on Process Modeling at Master Program in Computer Science of the Pontificia Universidad Javeriana de Cali, Colombia. Total 30 hours. A.Y. 2011-12.

• PhD (2009-12) Andrés Aristizábal . Ecole Polytechnique. Grant CNRS/DGA. Title of the thesis: Bisimulation Techniques and Algorithms for Concurrent Constraint Programming. Defended on 17 October 2012. Co-supervised by Catuscia Palamidessi and Frank D. Valencia.

• PhD in progress (2012-) Marco Stronati . Ecole Polytechnique. Grant EDX Monge. Co-supervised by Catuscia Palamidessi and Konstantinos Chatzikokolakis.

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

• PhD in progress (2011-) Nicolás E. Bordenabe . Ecole Polytechnique. Grant Inria/DGA. Co-supervised by Catuscia Palamidessi and Konstantinos Chatzikokolakis.

• 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-) Ivan Gazeau . Ecole Polytechnique. Grant ANR. Co-supervised by Catuscia Palamidessi and Dale Miller.

PhD defenses

Catuscia Palamidessi has been reviewer for the thesis of the following PhD students:

• James Jerson Ortiz Vega (Universidad del Valle, Cali, Colombia). Title of the thesis: Formal Methods for the Specification and Verification of Distributed and Timed Systems. Advised Juan Francisco Dias Frias. Defended in September 2013.

• Thomas Given-Wilson (University of Technology, Sydney, Australia). Title of the thesis: Concurrent Pattern Unification. Advised by Barry Jay. Defended in August 2012.

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

Catuscia Palamidessi has been member of the committee at the HDR defense of Daniele Varacca, University of Paris VII, December 2012.