At AnSyMo, a research group at the University of Antwerp, we're investigating foundations, techniques, methods and tools for the design, analysis and maintenance of software-intensive systems. We make theory applicable by transforming research into innovation that drives real-world progress. Follow us to discover how research meets real-world impact.​
 
AnSyMo consists of four research labs:

• FOTS - Formal Techniques in Software Engineering
  • Headed by Prof. Dr. Guillermo Alberto Perez

• MICSS Lab - Modelling Intelligent Complex Software and Systems Lab, 
  • Headed by Prof. Dr. Moharram Challenger
    

• LORE - Lab On REengineering
  • Headed by Prof. Dr. Serge Demeyer

• MSDL - Modelling, Simulation and Design Lab
  • Headed by Prof. Dr. Hans Vangheluwe