The Institute essentially develops its activities through collaborative research projects.
- Are based on interdisciplinarity
- Prioritise collaborative research and co-development
- Rely on partnerships with all sectors of society (industries, services, research centres, governmental institutions, etc.)
- Bring together provincial, regional, federal, European and international partners.
The Institute is active in setting up research projects, with its partners, which respond to the emerging problems linked to the Institute’s field.
Below you can find a list of some key projects, which highlight some of the issues our researchers tackle.
COMPLEXYS is involved in long-term collaborative projects, which require in-depth consideration regarding theoretical models in order to provide solutions to specific problems. UMONS uses the international recognition of its theorists to develop ever more ambitious projects linked to the industrial world
- Mikael Randour received “The Ackermann Award” in 2015 from the “European Association for Computer Science Logic” for his PhD thesis,
- Quentin Menet won the “Prix Antonella 2015”, Jenifer Rubio-Magnieto was selected to participate at the “65th Conference of Nobel Laureates” for her post-doc work,
- and Nicolas Boulanger was awarded the “Théophile De Donder 2014” prize by the FNRS for the first part of his research.
Collaborative and adaptive systems for the automatic heating of smart homes.
The aim of CASSTING (Collective Adaptative Systems SynThesIs with Non-zero-sum Games) is to find a means of heating rooms in a smart house by using automation and control algorithms for the supply valves.
More infos : http://www.cassting-project.eu
Comment peut-on aider des communautés de développeurs open source à mieux comprendre, contrôler et améliorer la santé des écosystèmes logiciels dans lesquels ils sont impliqués ? Ce projet de recherche bilatéral, impliquant des chercheurs de l’UMONS, de Polytechnique Montreal (Canada) et de Laval University (Canada), vise à étudier cette question en combinant des techniques des sciences sociales, appliquées et fondamentales, dans une méthodologie interdisciplinaire.
Do models of biological evolution help us to understand the expansion of open source software?
ECOS (“ECological studies of Open Source Software ecosystems”) examines the way in which free software evolves, drawing inspiration from models of biological evolution, for example, the transformation of living species as evidenced by changes in genetic traits over generations, as per Darwin’s theory of evolution.
In light of current ecological problems, the concept of compactness has become paramount to ensuring the sustainable and positive development of our cities, thus limiting the misuse of natural areas, and conserving biodiversity in a time of economic and social challenges for territories.
How can we build cities that meet compactness criteria but are strong enough to reduce their consumption without affecting their attractiveness or quality of life?
CoMod specifically studies the concept of “compact cities” using graph theory and game theory to tackle issues associated with the various criteria concerned.
Le projet ManySynth (Many-sided Synthesis of Reactive Systems: Foundations, Algorithms, and Tools) vise à améliorer la fiabilité et la sécurité des systèmes réactifs (p.ex. logiciels embarqués omniprésents dans nos vies) via le développement de théories mathématiques et d’outils logiciels supportant la vérification et la synthèse automatisée de systèmes corrects par construction, avec un focus sur les modèles multi-objectifs.
At the heart of black holes, gravitation and quantum mechanics can no longer ignore each other. The HSGRA project (Higher Spin GRAvity) explores an avenue which aims to go beyond Einstein’s theory of general relativity in order to obtain a theory of gravitation with a better relationship with quantum mechanics.
Software ecosystems are the most promising way to organise the software needs of the digital age. SECO-ASSIST aims to achieve a scientific breakthrough by assisting the ecosystems of the future, by developing new software recommendation techniques that consider resilience, scalability, heterogeneity and social interactions. To do this, the project partners will pool their expertise in social networks (UMONS), software testing (UAntwerpen), software reuse (VUB) and database evolution (UNamur).