<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:COMETE</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Dissemination - Teaching - Supervision - Juries"/>
    <meta name="dc.title" content="Dissemination - Teaching - Supervision - Juries"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2015-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="COMETE"/>
    <!-- Piwik -->
    <script type="text/javascript" src="/rapportsactivite/piwik.js"></script>
    <noscript><p><img src="//piwik.inria.fr/piwik.php?idsite=49" style="border:0;" alt="" /></p></noscript>
    <!-- End Piwik Code -->
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Comete</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">
        <a href="./uid3.html">Overall Objectives</a>
      </div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid5.html&#10;&#9;&#9;  ">Probability and information theory</a></li><li><a href="uid6.html&#10;&#9;&#9;  ">Expressiveness of Concurrent Formalisms</a></li><li><a href="uid7.html&#10;&#9;&#9;  ">Concurrent constraint programming</a></li><li><a href="uid10.html&#10;&#9;&#9;  ">Model checking</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid12.html&#10;&#9;&#9;  ">Security and privacy</a></li></ul></div>
      <div class="TdmEntry">
        <a href="./uid14.html">Highlights of the Year</a>
      </div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid19.html&#10;&#9;&#9;  ">Location Guard</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid21.html&#10;&#9;&#9;  ">Foundations of information hiding </a></li><li><a href="uid26.html&#10;&#9;&#9;  ">Foundations of Concurrency</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid31.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid39.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid51.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid105.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid117.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li class="tdmActPage"><a href="uid190.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentmajor" href="bibliography.html">Major publications</a>
          </li>
          <li>
            <a id="tdmbibentyear" href="bibliography.html#year">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2015</a> | <a href="http://www.inria.fr/en/teams/comete">Presentation of the Project-Team COMETE</a> | <a href="http://www.lix.polytechnique.fr/comete/">COMETE Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="comete.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="comete.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-comete-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../comete/comete.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-comete-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid117.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./bibliography.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      Dissemination</h2>
        <h3 class="titre3">Teaching - Supervision - Juries</h3>
        <a name="uid191"/>
        <h4 class="titre4">Teaching</h4>
        <ul class="sanspuceslist">
          <li>
            <p class="notaparagraph"><a name="uid192"> </a>PhD : Catuscia Palamidessi has been teaching a course for PhD students, on Protection of sensitive information, at the
<a href="http://www.cs.unibo.it/projects/biss2015/index.html">BISS 2015</a> , the Bertinoro International Spring School. Bertinoro, Italy. March 2015. Total 13 hours.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid193"> </a>PhD: Konstantinos Chatzikokolakis has been teaching a course for PhD students, on Security and Information Flow, at the
<a href="http://www.ictac2015.co/events/summer-school/">ICTAC 2015</a>  Summer School. Cali, Colombia. Oct 2015. Total 5 hours.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid194"> </a>Master : Frank D. Valencia has been teaching the masters course "Computability Theory", 60 hours, at the Pontificia Universidad Javeriana de Cali, Colombia. July 27 - Nov 1, 2015.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid195"> </a>Master: Konstantinos Chatzikokolakis and Catuscia Palamidessi have been teaching a course on the Foundations of Privacy at the
<a href="http://www.cs.unibo.it/projects/biss2015/index.html">MPRI</a> , the Master Parisien puor la Recherche en Informatique. University of Paris VII. A.Y. 2015-16. Total: 24 hours plus 6 hours for the exam and the exercise session is preparation to the exam.</p>
          </li>
        </ul>
        <a name="uid196"/>
        <h4 class="titre4">Supervision</h4>
        <ul class="sanspuceslist">
          <li>
            <p class="notaparagraph"><a name="uid197"> </a>PhD in progress (2015-) <a href="http://www.lix.polytechnique.fr/">Joris Lamare</a> . Ecole Polytechnique. Grant MSR Center. Co-supervised by Catuscia Palamidessi and Konstantinos Chatzikokolakis.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid198"> </a>PhD in progress (2014-) <a href="http://www.lix.polytechnique.fr/">Michel Guzman</a> . Ecole Polytechnique. Grant Inria CORDI-S. Co-supervised by Catuscia Palamidessi and Frank D. Valencia.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid199"> </a>PhD in progress (2013-) <a href="http://www.lix.polytechnique.fr/">Salim Percy</a> . Ecole Polytechnique. Grant Digiteo-Digicosme. Co-supervised by Frank D. Valencia and Stefan Haar.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid200"> </a>PhD in progress (2012-15) <a href="http://www.lix.polytechnique.fr/~stronati/">Marco Stronati</a> . Ecole Polytechnique. Grant EDX Monge. Co-supervised by Catuscia Palamidessi and Konstantinos Chatzikokolakis.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid201"> </a>PhD in progress (2011-15) <a href="http://www.lix.polytechnique.fr/~xulili912">Lili Xu</a> . Ecole Polytechnique and Chinese academy of Science, Beijing, China. Co-supervised by Catuscia Palamidessi and Huimin Li.</p>
          </li>
        </ul>
        <a name="uid202"/>
        <h4 class="titre4">Juries</h4>
        <p>Catuscia Palamidessi has been reviewer for the thesis of the following PhD students:</p>
        <ul class="sanspuceslist">
          <li>
            <p class="notaparagraph"><a name="uid203"> </a>Hamid Ebadi, PhD student supervised by David Sands, Chalmers University, Sweden. June 2015. The thesis is still in progress, Catuscia Plamidessi was reviewer and member of the committee for for the half-way thesis defense, that in Sweden is called Licentiate.</p>
          </li>
        </ul>
        <p>Frank Valencia has been a member of the committee board for the following PhD students:</p>
        <ul class="sanspuceslist">
          <li>
            <p class="notaparagraph"><a name="uid204"> </a>Thierry Martinez, Title of the thesis: <i>Execution models for Constraint Programming: kernel language design through semantics equivalence.</i>. Advised by Francois Fages. University Paris-Diderot. Defended in Dec 2015.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid205"> </a>Jaime Arias, Title of the thesis: <i>Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Inter- active Choice.</i>. Advised by Myriam Desainte-Catherine. University of Bordeaux. Defended in Nov 2015.</p>
          </li>
        </ul>
        <a name="uid206"/>
        <h4 class="titre4">Other didactical duties</h4>
        <p>Catuscia Palamidessi is:</p>
        <ul class="sanspuceslist">
          <li>
            <p class="notaparagraph"><a name="uid207"> </a>Co-responsible of the Master 2 course on Concurrency since 2003, first at the DEA in Theoretical Computer Science (Paris) and then at the MPRI.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid208"> </a>External member of the scientific council for the PhD in Computer Science at the University of Pisa, Italy. Since 2012.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid209"> </a>Member of the Committee d'Encadrement de Thèse of Jun Wang (PhD student supervised by Qiang Tang and Peter Ryan), University of Luxembourg. Since December 2014.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid210"> </a>Member of the advising committee for the PhD of Andrea Margheri (PhD student supervised by Rosario Pugliese), University of Florence, Italy. Since 2014.</p>
          </li>
        </ul>
        <p>Konstantinos Chatzikokolakis and Catuscia Palamidessi have designed, and coordinate, a course on the Foundations of Privacy at the
<a href="http://www.cs.unibo.it/projects/biss2015/index.html">MPRI</a> , the Master Parisien puor la Recherche en Informatique. University of Paris VII. A.Y. 2015-16.</p>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid117.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./bibliography.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
