Recherche

Depuis mon arrivée à Nancy, je fais partie de l’équipe VERIDIS qui s’intéresse à la vérification formelle de systèmes distribués. Ma recherche concerne plus précisément la vérification de systèmes probabilistes, notamment à l’aide du model-checking statistique.

  • Plus de détails sur mes thèmes de recherche (présents et passés) peuvent être trouvés ici
  • Une liste de mes publications se trouve ici
  • Mon CV, actualisé en mai 2015, est également accessible ici.

Et de 2 !

Il y a essentiellement 2 types d’éléments dans WordPress : les Pages et les Articles.
Cette page d’accueil est constituée de 2 Articles. Pour modifier cet Article, il suffit de cliquer sur le bouton Éditer.

Dans le Tableau de bord, il y a des sections pour ajouter/supprimer/modifier/catégoriser les Articles, les Pages et tous les autres éléments du site. Lire la suite