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

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

Tel :
Fax :
Office : 67/PCRI-S

Personal web page :
Email :

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