Personnel de l'université

Jérémie Christian ATTIOGBE

Professeur des Universités - Informatique

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 (n° interne : 455818)
Mail
Christian.Attiogbe@univ-nantes.fr
Site internet
https://pagespersowp.ls2n.fr/christianattiogbe/

Discipline(s) enseignée(s)

Méthodes et spécifications formelles - Modélisation - Bases de données - 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 - jusqu'en Mars 2022
Resp. adjoint de l'équipe Vérification pour l'Environnement et le LOgiciel (VEL0 - Mars 2022 - ...)

Chef du département Informatique IUT, Septembre 2010-Septembre 2016 (2 mandats)
Adjoint au Chef département Informatique IUT , Septembre 2016 - Septembre 2023 (2 mandats)

Activités détaillées :
https://pagespersowp.ls2n.fr/christianattiogbe/
Mis à jour le 28 mai 2024.
https://www.univ-nantes.fr/jeremie-christian-attiogbe