Christian Attiogbé

  J. Christian Attiogbé, Professeur des Universités 

  Université de Nantes / Dpt Informatique IUT

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

   LS2N - UMR CNRS 6004
   Head AeLoS Team

University of Nantes



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 : 22 février 2020