J. Christian Attiogbé, Professeur des Universités 

Université de Nantes / Dpt Informatique IUT
Laboratoire d'Informatique de Nantes-Atlantique

LINA - UMR CNRS 6241 - Fédération AtlanSTIC FR CNRS 2819


Thème 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

Formal Methods, Specification and Verification
 Formal Development and Related Tools

Interactive, Distributed, Concurrent System Design

Activités et travaux de recherche / Research activities

Enseignement / Teaching

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

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

Adresse / Surface Address
LINA - 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       : (+33 2)/(02) 51 12 58 18 (lina)
                     (+33 2)/(02) 40 30 60 51 (iut)
Sécrétariat : (+33 2)/(02) 51 12 58 00 
Fax              : (+33 2)/(02) 51 12 58 12
email :  fisrtname.lastname@univ-nantes.fr

Mise à jour : 9 novembre 2012