معرفی
Marc Aiguier is a researcher affiliated with the Laboratory Mathematics and Computer Science for Complexity and Systems. His work focuses on formal methods, software engineering, and modeling complex systems. He collaborates with colleagues like Pascale Le Gall and Frederic Boulanger on theoretical and applied research.
His research interests include
- Formal specification of software systems
- Static analysis and interaction resolution
- Testing methodologies for complex systems
- Mathematical modeling of software behavior
- Feature modeling in software design
Recent publications emphasize formal frameworks for modeling complex software systems, static analysis techniques, and proof-guided test selection. Keywords span computer science, formal methods, and software testing.
He is associated with the MMCS (Mathematical Modeling of Complex Systems) laboratory, which serves as a hub for interdisciplinary research.
۰مقاله منتشرشده
