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.)