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

ATTENTION : ce membre a quitté le laboratoire le 31/08/2013
 
IGUERNELALA
unknown
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 37/PCRI-S

Page personnelle : http://www.iguer.info/
Courrier électronique : Mohamed.Iguernelala@lri.fr

Activités de recherche
   - Démonstration automatique, SMT et applications

Publications

Projets
   - Toccata







Logiciels et brevets
   - Alt-Ergo : Démonstrateur automatique Alt-Ergo


Thèses et habilitations
Doctorat   - Renforcement du noyau d'un démonstrateur SMT : conception et implantation de procédures de décision efficaces