== Liens externes ==
  * [[http://www.univ-paris-diderot.fr/|Université Paris-Diderot]]
  * [[http://www.informatique.univ-paris-diderot.fr/|UFR d'informatique]]
  * [[http://eidd.univ-paris-diderot.fr/|EIDD]]
  * [[http://www.irif.fr/|IRIF]]
  * [[http://www.irif.fr/poles/asv/|Pôle Automates, Structures et Vérification]]
  * [[http://www.irif.fr/equipes/verif/|Équipe modélisation et vérification]]