Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > NEMOUCHI Yakoub
About LRI
Mr NEMOUCHI Yakoub

Warning: this member left the laboratory on 31/03/2016
 
NEMOUCHI Doctorant
Université Paris-Sud
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 67/PCRI-S

Personal web page :
Email : Yakoub.Nemouchi@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Formal Model-Based Testing










Ph.D. dissertations & Faculty habilitations
Ph.D   - Model-Based Testing of Operating System-level Security Mechanisms

Contracts & Grants
   - EURO-MILS