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

ATTENTION : ce membre a quitté le laboratoire le 31/03/2016
 
NEMOUCHI Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 67/PCRI-S

Page personnelle :
Courrier électronique : Yakoub.Nemouchi@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Test formel basé sur les modèles










Thèses et habilitations
Doctorat   - Model-Based Testing of Operating System-level Security Mechanisms

Participations à des contrats
   - EURO-MILS