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)
These two problematics lead to numerous collaborations between the researchers from different scientific teams.
The laboratory is in touch with several national, international and industrial collaborations.The laboratory takes part in animating a technology transfer center : CRITT-Informatique.
The LISI laboratory plays a significant role into an international project leading on the modeling, generation and integration of electronic catalogs of industrial components through the PLIB project.
