|
| Accueil | Publications | Enseignements |
image 
Statut: Maître de Conférences Grenoble INP - Ensimag
Equipe: CAPP
Coordonnées
- Mnacho Echenim
Laboratoire LIG - IMAG Bâtiment C, 1e étage. 220, rue de la Chimie
38400 Saint Martin d'Hères
France - Tel: +33 (0)4 76 63 56 71
- Email: Prenom.Nom (at) imag (dot) fr
Je suis enseignant-chercheur à Grenoble INP - Ensimag depuis Septembre 2007. J'ai moi-même obtenu le diplôme de l'ENSIMAG en 2001, puis un DEA "Informatique, Systèmes, Communication" à l'Université
Joseph Fourier de Grenoble en 2002. J'ai effectué une thèse à l'INPG, je l'ai soutenue en 2005 et j'ai été lauréat d'un prix de thèse INPG. J'ai ensuite effectué un post-doctorat à l'Université de Vérone (Italie)
avant d'être recruté à l'Ensimag.
Le thème principal de mes travaux de recherches est la démonstration automatique, je m'intéresse en particulier aux sujets suivants:
Le thème principal de mes travaux de recherches est la démonstration automatique, je m'intéresse en particulier aux sujets suivants:
- La théorie algorithmique des groupes appliquée à l'élimination des symétries dans les espaces de recherche
- La réécriture équationnelle
- Les démonstrateurs automatiques appliqués à la résolution des problèmes SMT (Satisfiability Modulo Theories)
- Les méthodes d'instanciation finies
- Les schémas de termes et de formules
Evènements:
- IWS. Workshop affilié à IJCAR 2012. Manchester, Juin 2012.