Département d'informatique   LERIA     Fac Sciences      U. Angers    

Igor Stéphan

Je suis maitre de conférence au département de mathématique et d'informatique de l'université d'Angers et membre du LERIA depuis septembre 1996. J'ai soutenu une thèse d'université qui a pour titre « Nouvelles fondations pour la programmation en logique disjonctive » le 8 décembre 1995. Je l'ai réalisée sous la direction d'Yves Bekkers au sein des équipes MALI puis Lande. J'ai soutenu une habilitation à diriger les recherches qui a pour titre « Propos sur les formules booléennes quantifiées » le 6 juillet 2010 (en voici une version hypertexte).
Pour me contacter Responsable du serveur Web : webadmin@univ-angers.fr

retour à la page d'accueil de l'Université