Le LEI s'intéresse à la modélisation formalisée, en particulier informatique ou logique, concernant les interactions humains-machines. Ainsi, ont été modélisés :

• la relève de postes dans un process continu par un formalisme prédicatif classique (thèse de Corinne Grusenmeyer)
• la conduite automobile assistée, par un formalisme orienté objets (thèse de Maryline Specht)
• la conduite automobile, par un formalisme orienté agents (thèse de Thierry Belley),
• le contrôle aérien par le formalisme descriptif des tâches MAD (thèse de Bélène Alonso),
• la conduite de navire marchand par programmation objet (thèse de Christine Chauvin),
• la réutilisation et la compréhension finalisée de programmes orienté objets (thèse de Jean-Marie Burkhardt).

Jean-Claude Sperandio
Christian Bastien
Jean-Marie Burkhardt
Gabriel Michel
Maryline Specht

Date de dernière modification : Mercredi 27 Janvier 1999