Vous êtes ici : Accueil université
Personnel de l'université
Michel ALLEMAND
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 (DSI) 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
Afficher toutes les infos
Mis à jour le 23 septembre 2010
par Michel ALLEMAND
Recherche dans l'annuaire
© 2011 Université de Nantes
L'université est membre
fondateur du PRES L'UNAM
