Team : MoVe - Modeling and Verification
Axes : SSR (👥👥), ASN (👥), TMC (👥).Team leaders :
Jean-François Pradat-Peyre Campus Pierre et Marie Curie 25-26/215Yann Thierry-Mieg Campus Pierre et Marie Curie 25-26/210
Members
Twenty-two teacher-researchers and researchers, six PhD Students.
Presentation
MoVe centers its research on the modeling and analysis of complex and dynamic distributed systems. In particular, we put our focus on:
- Optimized techniques of formal verification through model-checking.
- Development methodologies based on Model-Driven Engineering.
- Integration of formal analysis in development processes.
- Design and implementation of new programming languages and models to increase the verifiability of distributed programs.
Self-assessment Archives Thesis defense
Tags
Model checking Program generation Model engineering Modeling Petri nets
01/16/2026
14:00 : Séminaire LLM
Yann THIERRY-MIEG (LIP6)
Large Language Models (LLMs) have become impossible to ignore regardless of one's field or role. As an early adopter, I have explored their use in teaching, research, and development. This talk will explore practical applications including creating teaching materials (very helpfu...
https://www.informatik.uni-hamburg.de/TG...
Yann THIERRY-MIEG (LIP6)
Large Language Models (LLMs) have become impossible to ignore regardless of one's field or role. As an early adopter, I have explored their use in teaching, research, and development. This talk will explore practical applications including creating teaching materials (very helpfu...
https://www.informatik.uni-hamburg.de/TG...
