University of Nantes

  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 (fusion Lina,Irccyn au 1er Janvier 2017)


Thèmes de Recherche / Research Topics

Méthodes formelles, spécification, vérification
Développement formel 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 and Related Tools

Interactive, Distributed, Concurrent System Design
Heterogeneous and Embedded Systems

Activités et travaux de recherche / Research activities

Enseignement / Teaching


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

Département Informatique IUT --- Département Informatique UFR Sciences

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é (lina)

Téléphone / Phone 
Bureau iut       : (+33 2)/(02) 51 12 58 18
Bureau ls2n     : (+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

Mise à jour : 2 mai 2018