• Équipe : Benoît Vanderose, Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens 
• Description : nous cherchons à faire progresser l'état de l'art et la pratique du génie logiciel afin d'améliorer la fiabilité des logiciels en considérant l'évaluation de la qualité et les tests dans leurs contextes humains et techniques. Nos sujets incluent (mais ne sont pas limités à) les méthodes agiles, l'évaluation de la qualité des logiciels, les tests automatisés de logiciels, et l'intelligence artificielle appliquée au génie logiciel. 
• Groupes/pages liées : Software Normalization Assessment and Improvement Lab (SNAIL) - https://snail.info.unamur.be 

• Équipe : Gilles Perrouin, Patrick Heymans, Vincent Englebert, Pierre-Yves Schobbens 
• Description : la variabilité est omniprésente dans les logiciels : des options offertes par les routeurs de réseau et les noyaux des systèmes d'exploitation aux cadres web, aux réseaux neuronaux et aux configurateurs de vente au détail. La variabilité est la pierre angulaire de l'ingénierie des lignes de produits logiciels, un paradigme de développement permettant la personnalisation de masse des produits logiciels sur la base d'une réutilisation systématique. Les thèmes de recherche comprennent la spécification, la vérification et la validation de systèmes à forte variabilité, l'échantillonnage et la prédiction de configurations et la conception de configurateurs à l'aide de l'intelligence artificielle. Une partie de ces recherches a été transférée à une entreprise dérivée (SkalUP).  
• Groupes/Pages liées : site personnel de Gilles Perrouin

• Équipe : Marie-Ange Remiche 
• Description : la modélisation stochastique permet de mesurer les performances de systèmes complexes, tels que ceux rencontrés dans les systèmes de communication. Nous nous intéressons à la recherche théorique fondamentale sur la modélisation stochastique, avec un intérêt particulier pour la théorie des files d'attente et notamment les méthodes analytiques matricielles, ainsi que pour l'analyse statistique de ces systèmes.

• Équipe : Vincent Englebert 
• Description : nos activités de recherche concernent divers aspects du génie logiciel liés à l'ingénierie dirigée par les modèles (IDM). Nos recherches concernent 1° l'ingénierie des langages de modélisation spécifiques à un domaine (DSML), 2° la conception d'un métaCASE, et 3° les processus de conception d'usines logicielles dans le contexte des lignes de produits logiciels (SPL). Nous appliquons les résultats de cette recherche à divers domaines d'application tels que les architectures IoT ou le bien-être des personnes âgées, entre autres.

• Équipe : Anthony Cleve 
• Description : notre groupe de recherche a étudié les problèmes de conception, de compréhension et d'évolution des systèmes logiciels à forte intensité de données. Les thèmes de recherche récents comprennent l'analyse statique et dynamique des programmes pour la rétro-ingénierie des bases de données, la coévolution automatisée des bases de données et des programmes, la migration des systèmes existants vers des architectures de données évolutives, et la gestion des données pour les applications NoSQL, les polystores hybrides, les microservices et les systèmes basés sur l'IA.

• Équipe : Benoît Frenay 
• Description : l'équipe de recherche HuMaLearn (https://humalearn.info.unamur.be) a pour objectif de replacer les utilisateurs au centre de l'apprentissage machine (ML) et de l'apprentissage profond (DL). Cela nécessite de nouveaux algorithmes et modèles qui permettent aux utilisateurs de comprendre (interprétabilité et explicabilité), de contrôler (interactivité et respect des contraintes) et de certifier (tests, contraintes intégrées et robustesse/stabilité accrue) les systèmes d'apprentissage automatique et d'apprentissage profond. En particulier, nous travaillons sur les arbres de décision, les CNN, les RNN, l'apprentissage métrique, la réduction de la dimensionnalité, les systèmes de recommandation et la sélection des caractéristiques. HuMaLearn couvre divers contextes d'application tels que l'industrie 4.0, les données ouvertes, la langue des signes, le droit, le génie logiciel, l'astronomie et la physique, entre autres.

• Équipe : Elio Tuci  
• Description : l'activité de recherche de ce groupe s'articule autour de deux axes principaux : i) la conception de mécanismes de contrôle pour les systèmes robotiques devant accomplir de manière autonome des tâches spécifiques dans des environnements relativement peu structurés ; ii) le développement de modèles mathématiques et informatiques pour étudier les questions liées à la nature des mécanismes qui sous-tendent les comportements individuels et sociaux complexes dans les systèmes naturels. De plus amples informations sur nos projets de recherche passés et actuels sont disponibles à l'adresse suivante : https://www.naxys.be/robotics/ 

• Équipe : Florentin Rochet, Jean-Noël Colin, Laurent Schumacher 
• Description : nous visons à construire des technologies pour renforcer et protéger les utilisateurs finaux en utilisant et en combinant des primitives de cryptographie. Nous nous concentrons sur le monde réel, ce qui finit par avoir un impact sur l'espace de solution que nous examinons en raison des exigences de performance, en particulier lorsqu'il s'agit de communications en réseau. Le groupe a récemment été actif dans les technologies d'amélioration de la vie privée, telles que la communication anonyme et les protocoles de transport cryptés.

• Équipe : Katrien Beuls 
• Description : l'objectif principal de notre recherche sur la communication émergente est de développer des mécanismes qui soutiennent le développement de langages flexibles et adaptatifs dans des populations de robots autonomes ou d'agents logiciels. Ce sont ces mécanismes qui garantissent que les agents sont capables de conceptualiser et de catégoriser le monde dans lequel ils vivent de manière significative et d'apprendre à raisonner et à communiquer à son sujet. Le paradigme de recherche est utilisé pour élaborer le lien entre l'IA symbolique et subsymbolique, en montrant comment des symboles significatifs peuvent émerger de flux perceptifs continus.

• Équipe : Jean-Marie Jacquet, Wim Vanhoof, Pierre-Yves Schobbens 
• Description : 

Les recherches de Jean-Marie Jacquet se situent à l'intersection de la programmation logique et de la programmation concurrente. Basé sur la métaphore des tableaux noirs, développée en IA, il a proposé un nouveau langage de coordination, nommé Bach, a conçu plusieurs sémantiques pour ce langage, a étudié les problèmes d'expressivité et a proposé des méthodologies de programmation. Récemment, avec l'aide de Manel Barkallah, il a conçu un banc de travail dans le triple but de (i) permettre à l'utilisateur de comprendre la signification des instructions en montrant comment elles peuvent être exécutées étape par étape, (ii) permettre à l'utilisateur de mieux comprendre la modélisation des systèmes réels, en connectant les agents à des animations représentant l'évolution du système modélisé et (iii) permettre à l'utilisateur de vérifier les propriétés en vérifiant les formules d'atteignabilité du modèle et en établissant les formules. Cette recherche est appliquée à l'analyse des protocoles de sécurité dans le cadre du projet Cyber-Excellence sur la cybersécurité. Enfin, elle est appliquée à l'apprentissage fédéré en tirant parti des techniques de programmation de la logique inductive dans un contexte distribué. 

Wim Vanhoof mène des recherches sur l'analyse et la vérification des programmes. L'analyse statique fait référence aux techniques utilisées pour analyser le code source d'un programme afin d'en découvrir les propriétés. Dans cette ligne de recherche, W. Vanhoof a développé avec G. Yernaux des techniques pour analyser automatiquement si deux fragments de code donnés contiennent une quantité substantielle de constructions suffisamment similaires afin de conclure que les fragments sont clonés, c'est-à-dire que l'un est dérivé de l'autre en copiant et/ou en modifiant ou en transformant le code. À un niveau plus abstrait, les techniques qu'il a développées étant basées sur une représentation logique du code, elles peuvent également être utilisées pour déterminer approximativement si deux programmes mettent en œuvre le même algorithme. Les applications importantes comprennent la compréhension des programmes et la détection du plagiat. 

Les systèmes distribués et réactifs peuvent être modélisés de manière modulaire à l'aide d'opérations telles que les compositions séquentielles et parallèles. Chaque composant d'un système modulaire peut être remplacé par des composants équivalents sur le plan comportemental sans modifier les propriétés des modules. Celles-ci peuvent être préservées par des équivalences sémantiques et décrites par des formules logiques. Dans ce contexte, avec J. Ortiz, M. Amrani, G. Perrouin, P. Heymans, P.-Y. Schobbens a étudié plusieurs logiques en temps réel, en particulier pour faire face aux systèmes en temps réel distribués dans lesquels les composants font face à de nombreuses contraintes de temps et sont régulés par des horloges non synchronisées.

• Équipe : Bruno Dumas 
• Description : dans le domaine de l'interaction homme-machine, l'équipe de recherche EXUI explore la conception d'interfaces utilisateur avancées, en particulier dans les sous-domaines de la réalité augmentée et des interfaces multimodales. Les membres de l'équipe de recherche EXUI sont particulièrement intéressés par le franchissement des frontières entre ces différents sous-domaines et par l'exploration des interactions entre eux. Enfin, en collaboration avec d'autres équipes de l'institut de recherche NADI, les membres de l'équipe de recherche EXUI explorent également des questions liées à la transparence de l'intelligence artificielle.

• Équipe : Fanny Boraita Amador, Xavier Devroey, Marie-Ange Remiche 
• Description : en cours

• Équipe : Juliette Ferry-Danini 
• Description : la philosophie des sciences et de l'éthique sont des branches de la philosophie. Elles posent respectivement des questions épistémologiques (comment la connaissance est produite) et des questions éthiques (comment il faut agir moralement). Les technologies numériques soulèvent des questions à la fois épistémologiques et éthiques. Un philosophe a récemment rejoint le Département. Il se concentre actuellement sur le concept d'opacité de l'intelligence artificielle ainsi que sur d'autres questions conceptuelles.