Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > MBIADA NDJANDA Jacques Charles
Présentation
M. MBIADA NDJANDA Jacques Charles

ATTENTION : ce membre a quitté le laboratoire le 31/10/2015
 
Doctorant
CEA
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 67/PCRI-S

Page personnelle : https://www.lri.fr/~jmbiadan/
Courrier électronique : Jacques_Charles.MBIADA_NDJANDA@lri.fr

Activités de recherche
   - Vérification déductive de programmes


Projets
   - Toccata







Logiciels et brevets
   - Frama-C : Framework for Modular Analysis of C

Collaborations
   - CEA-LIST

Thèses et habilitations
Thèse en cours   - Formalisation d'une sémantique exécutable du langage de spécifications de Frama-C à fins de monitoring pour la cyber-sécurité