Welcome to Ansymo


About our group

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

NEXOR

ANSYMO is a founding member of the NEXOR consortium.

ANSYMO is a core lab of Flanders Make, the strategic research centre for the manufacturing industry.

Contact

Ansymo
Dept. of Mathematics and Computer Science
Universiteit Antwerpen
Campus Middelheim (Building G)
Middelheimlaan 1
B-2020 Antwerp
Belgium