Présentation
L'équipe LIS (Langage, interaction, simulation) étudie les propriétés fondamentales de systèmes informatiques et biologiques et plus généralement du comportement de systèmes dynamiques réactifs, décentralisés et ouverts. Dans ce cadre, elle s’intéresse aux aspects théoriques, comme la spécification et l’analyse de ces systèmes, ainsi qu'à leur réalisation. Les recherches menées s’articulent principalement autour de deux axes :
- Spécification et concurrence (SC) qui étudie les modèles de la concurrence (réseaux de Petri, automates, algèbres de processus, …) ainsi que les langages de spécification fondés sur les logiques modales et temporelles, associés à des techniques de vérification (model-checking, démonstration automatique) pour la représentation, l'analyse et la validation de systèmes distribués, mobiles et adaptatifs.
- Interaction et dynamique (ID) qui s’attache à la modélisation de réseaux d’interaction, en utilisant les formalismes liés aux réseaux d'automates (automates cellulaires, réseaux booléens, …) et aux systèmes multi-agents, ainsi que l'analyse de leur dynamique par des techniques de combinatoire, de complexité et de simulation entité-centrée.
Ces deux axes mènent naturellement l’équipe LIS à appliquer ses résultats dans les domaines de l’informatique et de la biologie en répondant à des questions transversales de sûreté, sécurité et robustesse portant sur les protocoles de sécurité et les interfaces multimodales d’une part, et sur les réseaux de régulation génétique et les processus cellulaires, d’autre part.
Membres
Permanents
Doctorants, post-doc
- Mourad AMZIANI
- Adrien BASSO-BLANDIN
- Thi Hai Ha DANG (post-doc)
- Jordan DE LA HOUSSAYE
- Yves-Stan LE CORNEC
- Van Viet PHAM
Anciens membres
Permanents
- Judith BENZAKKI
Doctorants
- Nassima BENAISSA
- Thomas MONCION
- Laurent POLIGNY