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 three 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
(MSDL is both part of the Ansymo group and of the School of Computer Science at McGill University, Canada.)