Résultats de recherche

Une chorale de robots, cela ressemble à de la science-fiction ! C’est pourtant une réalité à l’UNamur. Au sein du laboratoire de robotique de la Faculté d’informatique, des chercheurs de l’institut naXys, menés par les professeurs Elio Tuci et Timoteo Carletti, des membres du TRAKK, des artistes et des partenaires externes ont collaboré autour du projet « Chœurs synthétiques ». Explications.

Pour Bruno Dumas, l’informatique s’inscrit dans les principes de la psychologie appliquée L’intelligence artificielle (IA) s’immisce dans nos vies professionnelles comme dans nos vies privées. Elle nous séduit comme elle nous inquiète. À l’échelle mondiale, elle est au cœur d’importants enjeux stratégiques, sociétaux ou économiques, débattus encore mi-février 2025, lors du sommet mondial de l’IA à Paris. Mais comment ne pas la subir en tant qu’utilisateur ? Comment avoir accès à cette nécessaire transparence de son fonctionnement ? En plaçant son prisme de recherche du côté de l’utilisateur, Bruno Dumas est en quelque sorte « un psychologue de l’informatique ». Expert en interaction humain-machine, co-président de l’Institut NaDI (Namur Digital Institut), il défend l'idée d'une utilisation raisonnée et éclairée des technologies émergentes. 

Synopsis The spreading of internet-based technologies since the mid-90s has led to a paradigm shift from monolithic centralized information systems to distributed information systems based upon the composition of software components, interacting with each other and of heterogeneous natures. The popularity of these systems is nowadays such that our everyday life is touched by them.Classically concurrent and distributed systems are coded by using the message passing paradigm-according to which components exchange information by sending and receiving messages. In the aim of clearly separating computational and interactional aspects of computations, Gelernter and Carriero have proposed an alternative framework in which components interact through the availability of information placed on a shared space. Their framework has been concretized in a language called Linda. A series of languages, referred to nowadays as coordination languages, have been developed afterwards. In addition to providing a more declarative framework, such languages nicely fit applications like Facebook, LinkedIn and Twitter, in which users share information by adding it or consulting it in a common place. Such systems are in fact particular cases of so-called socio-technical systems in which humans interact with machines and their environments through complex dependencies. As coordination languages nicely meet social networks, the question naturally arises whether they can also nicely code socio-technical systems. However, answering this question first requires to see how well programs written in coordination languages can reflect what they are assumed to model.This thesis aims at addressing these two questions. To that end, we shall use the Bach coordination language developed at the University of Namur as a representative of Linda-like languages. We shall extend it in a language named Multi-Bach to be able to code and reason on socio-technical systems. We will also introduce a workbench Anemone to support the modelling of such systems. Finally, we will evidence the interest of our approach through the coding of several social-technical systems. The Jury Prof. Wim Vanhoof - University of Namur, BelgiumProf. Jean-Marie Jacquet - University of Namur, BelgiumProf. Katrien Beuls - University of Namur, BelgiumProf. Pierre-Yves Schobbens - University of Namur, BelgiumProf. Laura Bocchi - University of Kent, United KingdomProf. Stefano Mariani - UNIMORE University, Italy Participation upon registration. Register here