AnSyMo consists of four separate labs, each with it's own research topics and expertise:
- Formal Techniques in Software Engineering (FOTS) - Under the leadership of Prof. Guillermo A. Perez, FOTS specializes in the development and study of automatic verification techniques. The latter include the theory and practice of model checking, automatic synthesis of reactive controllers, and the theory of learning with guarantees, amongst others. Usage of research expertise: soft -and hardware companies that develop safety-critical software-intensive and/or cyber-physical systems.
- Modeling Intelligent Complex Software and Systems (MICSS) - headed by Prof. Moharram Challenger, MICSS is dedicated to modeling and simulating Cyber-Physical Systems (CPS) and System of Systems (SoS). Specifically, the lab focuses on their intelligence and smartness by employing techniques such as Multi-Agent Systems, Agent Based Modeling, etc. Usage of research expertise: companies that are interested in the use or development of intelligent, adaptive, and interconnected Cyber-Physical Systems and System of Systems across domains such as smart cities, transportation, healthcare, and energy.
- Lab on REengineering (LORE) - with Prof. Serge Demeyer at the helm of the ship, LORE is developing software testing methods and utilizing it in the work field. With the ever increasing importance of software systems in everyday life, LORE's provides testing methods to help re-engineer and improve developing and existing software. Usage of research expertise: hardware and software companies which are looking to improve their testing processes by the use of different techniques involving shift-left testing and AI.
- Modelling, Simulation and Design Lab (MSDL) - with Prof. Hans Vangheluwe as team leader, MSDL develops multi-paradigm modelling, model transformation, co-simulation, and domain-specific language engineering to improve the design, analysis, and integration of intelligent, multi-domain systems. Usage of research expertise: MSDL’s expertise is applied to advancing digital twins, smart manufacturing, autonomous systems, and other intelligent engineering domains requiring accurate modeling, simulation, and system integration.