The whole laboratory activity concerns two teams :
The scientific cohesion is ensured by two common problematics :
- Formal techniques (specifications based on models, Pétri networks, EXPRESS language, abstract interpretation)
- Development of user interface tools (visual development, programmation by demonstration, HCI)
Staff
- 15 Permanent Researchers, 5 Professors, 9 Associate Professors (3 Habilitated), 1 Research Engineer (RI)
- 1 Secretary, 1 Technical Assistant
- 15 Phd Students
- ~ 15 Trainees per year
- Technology Transfer Group (CRITT) of former PhD
Hardware and Financial resources
- Pool of computers, modeling tools
Examples of applicative projects
 |  |
| Modeling, generation and integration of electronic catalogues of industrial components PLIB Project | Control of a mini-UAV AMADO Project |