Coordonnées

Jérémie Christian ATTIOGBE Laboratoire LS2N - UFR Sciences - Bureau 214 Bât. 11 2, rue de la Houssinière Tél (+33 2)/(02) 51 12 58 18 2, rue de la Houssinière 44322 Nantes Cedex Dpt Informatique IUT 3, rue Maréchal Joffre, Nantes Tél (+33 2)/(02) 40 30 60 51 Fax (+33 2)/(02) 40 30 60 82

Tél
0251125818 (455818)
Fax
(+33 2)/(02) 51 12 58 12
Mail
Christian.Attiogbe@univ-nantes.fr
Site internet
http://pagesperso.lina.univ-nantes.fr/~attiogbe-c/

Discipline(s) enseignée(s)

Méthodes et spécifications formelles - Modélisation - Bases de donnée - Systèmes d'exploitation - Réseaux informatiques - algorithmes et complexité - Algèbre linéaire

Thèmes de recherche

Construction prouvée correcte des logiciels - Langages, modèles et sémantiques - méthodes et spécifications formelles des systèmes hétérogènes - systèmes interactifs, réactifs, concurrents, distribués - ateliers de développement logiciel

Activités / CV

Docteur en Informatique de l'Université Paul Sabatier, Toulouse III, 1992
Maître de conférences, Université de Nantes, 1994-2008
Habilitation à diriger des recherches, Septembre 2007
Professeur des Universités, Université de Nantes, Septembre 2008

Responsable de l'équipe Architectures et Logiciels Sûrs (AeLoS) LS2N UMR 6004 (fusion en 2017 de LINA et IRCCyN)

Chef du département Informatique IUT, Septembre 2010-Septembre 2016

Activités détaillées :
http://pagesperso.lina.univ-nantes.fr/~attiogbe-c/

Corps

Professeur