Software et systèmes
De nos jours, le développement de systèmes logiciels et leur intégration dans des services commerciaux globaux sont des entreprises extrêmement difficiles. Les défis actuels comprennent des niveaux de complexité sans précédent, un nombre croissant de parties prenantes et la nécessité de maîtriser un éventail de plus en plus large de compétences, de techniques, d'outils et de méthodes.
Voir le contenu
Smart cities et et e-gouvernement
Les nouveaux développements des technologies de l'information et de la communication (TIC) ont permis aux organisations publiques d'innover dans leurs processus internes et dans les services qu'elles offrent. Dans ce contexte, ces développements ont conduit à l'émergence des concepts d'e-gouvernement et de ville intelligente qui modifieront, et à terme amélioreront, le fonctionnement des organisations publiques.
Voir le contenu
Éthique et technologie
Les technologies de l'information sont profondément impliquées dans la formation de la condition humaine contemporaine et de son organisation sociale. Dans une certaine mesure, ces technologies sont des « micro-politiques » qui endossent, dans leurs concepts et leurs conceptions, des choix moraux et politiques affectant nos relations avec nous-mêmes, avec les autres et avec le monde. Elles sont à la fois une construction sociale et une contrainte sociale.
Voir le contenu
Éducation numérique
Face aux évolutions technologiques telles que le Big Data, l'intelligence artificielle, les algorithmes, l'internet des objets, les robots, les plateformes, la cybersécurité, etc., l'éducation numérique est devenue un enjeu majeur pour notre société. Des initiatives éducatives émergent aujourd'hui dans des directions variées, touchant toutes les tranches d'âge, dans des cadres éducatifs formels et informels.
Voir le contenu
NaDI-CeRCLe
Bienvenue au NaDI-CeRCLe, le centre de recherche en Marketing et Service Management de l’UNamur. Créé en 2005 au sein de la Faculté Economie Management Communication sciencesPo (EMCP), le NaDI-CeRCLe rassemble une équipe dynamique d'enseignants, de chercheurs, de doctorants et de praticiens. Depuis 2018, le NaDI-CeRCLe est fier d'être un partenaire fondateur du Namur Digital Institute (NaDI), faisant avancer la recherche de pointe et la collaboration à l'ère numérique.
Voir le contenu
Domaines de recherche
Notre société vit une révolution numérique qui a des conséquences sur son organisation, ses pratiques, et même ses valeurs. La plupart des secteurs de notre société sont concernés par cette révolution, que ce soit la santé, le gouvernement, et les services et l’économie collaborative. La résolution de ces défis nécessite une approche pluridisciplinaire permettant le dialogue entre experts technologiques, scientifiques, mais aussi sociétaux, éthiques, juridiques et économiques. Le centre de recherche NaDI a pour mission de fédérer tous les chercheurs de l'UNamur travaillant sur les défis suivants dans 7 domaines de recherche.
Voir le contenu
Centres de recherche
S'appuyant sur une tradition de recherche en informatique à l'Université de Namur, NaDI fédère six centres de recherche axés sur différents aspects de la société numérique.
Voir le contenu
Contact et organisation
Contacts
Co-President
Bruno Dumas
bruno.dumas@unamur.be
Co-President
Alexandre de Streel
alexandre.destreel@unamur.be
Organisation
Découvrir les membres
Voir le contenu
Big data et intelligence artificielle
NaDI offre une vaste expertise en intelligence artificielle : robotique bio-inspirée, apprentissage automatique robuste, interactif, interprétable et sûr, vérification automatique de programmes, programmation déclarative, intelligence économique, représentation des connaissances et tests automatiques de logiciels. Cela a déjà conduit à de nombreuses collaborations avec des experts médicaux, des industries et la société civile. Avec d'autres domaines d'expertise de NaDI, les experts en IA explorent également les implications éducatives, éthiques, sociétales et juridiques de l'IA.
Voir le contenu
CERTAINTY | Un jumeau virtuel d’immunothérapie cellulaire pour un traitement personnalisé du cancer
L'Université de Namur s'engage dans le projet européen CERTAINTY, une initiative dirigée par l'Institut allemand Fraunhofer visant à explorer de nouvelles pistes dans le traitement des cancers. Lancé en décembre 2023, ce consortium européen est financé par l'Union européenne - programme Horizon Europe - à hauteur de près de 10 millions d'euros sur les 4,5 prochaines années.
Voir le contenu
Nos membres
Découvrez les membres internes et les membres associés de NaDI-CeRCLe.
Voir le contenu
Défense de thèse publique en informatique - Manel Barkallah
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
Voir le contenu