About
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.
0Publications listed
Find Marc Aiguier elsewhere
Related Searches
You Might Also Like
Pascale Le GallCentraleSupélec · Researcher- YYani ZIANIUniversity of Orléans · Researcher
- KKamkin Alexander SergeevichHSE University · Associate Professor
- JJean-Marc MotaNational Graduate School of Mechanics and Aerotechnics · Researcher
David MonniauxInria · Researcher
Frédéric Tran MinhGrenoble INP · Lecturer