Core lab

Antwerp Systems and Software Modelling (AnSyMo) specializes in the design, analysis, and maintenance of software-intensive systems. Led by four principal researchers, each bringing unique expertise, AnSyMo focuses on Automated Reasoning, Software Modelling, and Software Testing. The team is recognized for creating digital twins for industrial applications, developing chatbots, and building software tools to test and optimize companies their software systems.

​CoSyS-lab focuses on the co-design and development of cyber-physical systems, working across the entire lifecycle from concept to operation. Our team of experts develops methods and workflows that seamlessly integrate hardware, software, and control systems to deliver solutions that are reliable, safe, and energy-efficient. We work with a wide range of physical systems, including acoustic sensors, pulse-echo arrays, embedded controllers, electromechanical mechanisms, robots, and energy-harvesting devices.