Mnacho ECHENIM

Enseignant-Chercheur

Affiliation

Grenoble INP

Équipe de recherche

LIG Equipe CAPP

Domaines de recherche

Démonstration automatique, informatique quantique

Disciplines scientifiques

Informatique

Habilitation à diriger des recherches

Des techniques d'automatisation de raisonnements

Thèse

Déduction et unification dans les théories permutatives
sous la direction de  Ricardo Caferra et Thierry Boy de la Tour
from 01/10/2002 to 05/12/2005