Personnel de l'université

Michel ALLEMAND

Directeur de la DSIN (Direction des Systèmes d'Information et du Numérique)

Coordonnées

DSIN Université de Nantes, 2 rue de la Houssinière, 44322 Nantes Cedex 3

Bureau
DSIN Université de Nantes
Fax
02 51 12 58 60
Mail
Michel.Allemand@univ-nantes.fr

Discipline(s) enseignée(s)

Architecture des Ordinateurs, Systèmes d'exploitation

Thèmes de recherche

Méthodes formelles, Démonstration automatique, Vérification formelle de processeurs

Activités / CV

  • Ingénieur de Recherche, depuis septembre 2009
  • Directeur de la Direction des Systèmes d'Information et du Numérique (DSIN) de l'Université de Nantes depuis janvier 2008
  • Directeur du CRI de l'Université de nantes de juin 2002 à décembre 2007
  • Maître de conférence UFR des Sciences et des Techniques, département Informatique de l'Université de Nantes de Septembre 1997 à Août 2009.    
  • Post-Doc à l'IRISA - INRIA Rennes dans les équipes CAPS et EP-ATR d'Octobre 1996 à Septembre 1997.    
  • Thèse de doctorat en Informatique de l'Université de Provence en Juillet 1995.    
  • Moniteur et ATER à l'Université de Provence de Décembre 1990 à Septembre 1996.
  • DEA de Mathématiques à l'Université de Provence

Corps

Ingénieurs de Recherche