Member of Pesto team in Nancy
Research activities: security, formal methods, automated deduction (see also Cassis)
Mois : mars 2016
LINKS
some useful links
Mon premier article de blog
J’ai créé la catégorie Personnel pour mettre un blog personnel dans le sous-menu Perso : il suffit de cocher la catégorie « personnel » quand on crée un nouvel article pour que celui-ci soit visible dans Perso > Mon blog.
