Ansymo is a research group at the University of Antwerp investigating foundations, techniques, methods and tools for the design, analysis and maintenance of software-intensive systems. Read more...
 
Ansymo consists of four research labs:

• FOTS - Formal Techniques in Software Engineering, headed by Prof. dr. Guillermo Alberto Perez​
• LORE - Lab On REengineering, headed by Prof. dr. Serge Demeyer​
• MSDL - Modelling, Simulation and Design Lab, headed by Prof. dr. Hans Vangheluwe​
• MICSS - Modelling Intelligent Complex Software and Systems, headed by Prof. Dr. Moharram Challenger​

(MSDL is both part of the Ansymo group and of the School of Computer Science at McGill University, Canada.)