Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > DECLERCK David
Présentation
M. DECLERCK David

ATTENTION : ce membre a quitté le laboratoire le 30/09/2018
 
DECLERCK Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 73/PCRI-S

Page personnelle : https://www.lri.fr/~declerck/
Courrier électronique : david.Declerck@lri.fr



Projets
   - Toccata









Thèses et habilitations
Doctorat   - Vérification par Model Checking de Programmes Concurrents Paramétrés sur des Modèles de Mémoire Faibles