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

Mon premier article de blog

J’ai créé la catégorie Personnel pour mettre un blog perso dans le sous-menu Perso : il suffit de cocher la catégorie « personnel » quand on crée un article pour que celui-ci soit visible dans Perso > mon blog.