Christian Attiogbé

  J. Christian Attiogbé, Professeur des Universités 

  Pôle Sciences et Technologie / Département Informatique IUT

   Laboratoire des Sciences du Numérique de Nantes (LS2N)

   LS2N - UMR CNRS 6004
   AeLoS Team

Nantes Université


Thèmes de Recherche / Research Topics

Méthodes formelles, spécification, vérification
Développement formel (par raffinepents) et outils associés
Systèmes concurrents distribués et interactifs/réactifs
Systèmes hétérogènes et embarqués

Formal Methods, Specification and Verification
 Formal Development(correction-by-construction) and Related Tools
Interactive, Distributed, Concurrent System Design
Heterogeneous and Embedded Systems

Activités et travaux de recherche / Research activities

my DBLP page or CSB or HAL(Inria)  GoogleScholar

Enseignement / Teaching


Matériels pédagogiques (diapos, polycopiés, docs, etc)

au  Département Informatique IUT (DUT) et au  Département Informatique UFR Sciences  (Master)

Adresse / Surface Address
LS2N - Faculté des sciences
2, rue de la Houssinière 
BP 92208 
44 322 Nantes Cedex 3

Plan d'accès à la faculté (ls2n) / Access

Téléphone / Phone 
ls2n       : (+33 2)/(02) 51 12 58 18
iut     : (+33 2)/(02) 40 30 60 51
Sécrétariat : (+33 2)/(02) 51 12 58 00 
Fax           : (+33 2)/(02) 51 12 58 12
email :  firstname.lastname@univ-nantes.fr

update : 20 février 2022