Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > MBIADA NDJANDA Jacques Charles
About LRI
Mr MBIADA NDJANDA Jacques Charles

Warning: this member left the laboratory on 31/10/2015
 
Doctorant
CEA
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 67/PCRI-S

Personal web page : https://www.lri.fr/~jmbiadan/
Email : Jacques_Charles.MBIADA_NDJANDA@lri.fr

Research activities
   - Deductive Verification of Programs


Joint Inria project teams
   - Toccata






Software & Patents
   - Frama-C: Framework for Modular Analysis of C

Collaborations
   - CEA-LIST

Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Formalisation d'une sémantique exécutable du langage de spécifications de Frama-C à fins de monitoring pour la cyber-sécurité