Digital Information Systems

Scope

The expertise of our team lies in the areas of artificial intelligence, formal methods and information systems, enabling the design of autonomous, reliable and sustainable applications.

Activity

We develop autonomous and sustainable systems relying on frugal and collaborative AI, multi-modal semantic sensing information, and a relevant usage of networks and information systems. Our aim is to maximize the quality of experience of professional applications, like in factory automation, robotics and transportation, which experience a continuously evolving environment. To ensure software reliability, we use formal methods grounded in mathematics to prove the correctness of the whole software development process, from the functional specification to the code generation, and we extend their application to the challenging field of AI trustworthiness.

Our activities range from the initial concept design to the demonstration of technologies in an integrated system.

We are strongly connected to the international standardization and pre-standardization organizations (e.g., CEN, CENELEC, ETSI, IEEE, 3GPP) in order to contribute to the design of the future generations of products in a global market.

Believing in open innovation, we are continuously engaged in a number of bilateral and multilateral collaborations

Team

The team is composed of 2 groups, the Synergistic Autonomous Systems (SAS) group and the Information & Network Systems (INS) group which are closely linked to each other through R&D on common areas.

Laboratory

Proofs of concept are an essential part of the R&D activities. Our laboratory makes use of scalable  hardware and software development platforms using sophisticated monitoring tools and certified equipments to validate the proposed technologies and identify new potential innovations.