Informatics at the service of collective well-being and personal development.
The Faculty of Informatics has a vision of a world in which the intensive and growing use of informatics is oriented towards collective well-being and personal development. Its mission is to contribute to this orientation through education, scientific research and service to society.
The studies
When you choose to study computer science, you're guaranteed immediate access to an exciting, multi-faceted career. Through a comprehensive range of courses - bachelor's, master's, specialization master's and doctorate - the Faculty of Computer Science offers you quality training based on scientific rigor and critical thinking, while emphasizing interdisciplinarity and societal responsibility.
Research
The mission of the Faculty of Computer Science is to ensure cutting-edge scientific research, open to the creation and integration of knowledge that feeds teaching, technological innovation and societal debate.
Service to society
The Faculty of Computer Science contributes to the development of our social, economic, technological and political environment by disseminating knowledge and providing advice at regional, national and international levels. Through the synergy between researchers and industry, and by making knowledge and know-how available, it participates in numerous missions of service to society.
International
The Faculty of Computer Science's international outlook is fundamental to the development of its teaching and research activities.
Organization
The Faculty of Computer Science has organized itself to manage its missions in the best possible way. It has around a hundred members at the service of teaching, research and service to society.
A word from the Dean
IT is a key to understanding, progress and responsibility in the face of the challenges and issues facing our society.
Animation
A series of events and players revolve around the Faculty of Computer Science.
Spotlight
Agenda
Public Defense of a Doctoral Dissertation in Computer Science - Guillaume Nguyen
Harmonizing Regulations and Source Code: A Symphony of Compliance
Abstract
The increasing regulatory pressure on Cyber-Physical Systems (CPS), particularly in Europe, has turned compliance into a critical yet complex challenge for industry stakeholders. Many of these CPS are often long-lived systems with legacy code and limited (or no) access to representative documentation. This poses a problem when these systems need to comply with newer regulatory frameworks. Indeed, current conformity assessment practices rely predominantly on documentation review and operational observations, while the analysis of software artifacts remains underutilized. This situation is compounded by a persistent communication gap between legal experts and engineers, and a lack of systematic traceability between high-level regulatory obligations and low-level technical implementations. Such a disconnect frequently results in inconsistencies detected late in the development process, increasing correction costs and delaying time-to-market. Furthermore, the growing complexity of regulations, such as the Medical Device Regulation (MDR), contributes to the perception that compliance hinders innovation.
Transitioning from theoretical frameworks to industrial implementation presents significant challenges. During this research, efforts to validate the approach in real-world production environments were hampered by restricted access to sensitive data and architectures, as well as the inherent risks of intrusive analysis in highly interconnected systems. Consequently, this thesis emphasizes a conceptual framework validated through modular prototypes and isolated CPS categories (e.g., medical devices), demonstrating the effectiveness of the proposed methods where full-scale production deployment is not yet feasible.
This thesis addresses these challenges by investigating how regulatory requirements can be transformed into structured, traceable, and partially automatable elements directly linked to software artifacts. The research adopts an industry-grounded exploratory approach structured around three main axes: (1) the formalization of regulatory requirements to bridge the semantic gap between legal and technical domains; (2) the extraction of system functionalities from source code using Large Language Models; and (3) a unified framework, supported by tool prototypes, to bridge the gap between expected system behavior and actual implementation through evidence-based assessment.
By combining regulatory analysis, software engineering, and AI-based methods, this work contributes to redefining compliance as a continuous, traceability-driven process. Ultimately, it aims to support a paradigm shift toward “compliant-by-design” systems, enabling earlier detection of discrepancies and better alignment between regulatory intent and technical implementation in complex CPS environments.
Jury
- Prof. Xavier Devroey - University of Namur, Belgium
- Prof. Anthony Cleve - University of Namur, Belgium
- Prof. Benoit Vanderose - University of Namur, Belgium
- Prof. Jun Yang, P. Eng - Concordia University, Montreal, Canada
- Prof. Fuyuki Ishikawa - NII, Japan
- Prof. Paolo Arcaini - NII, Japan
Public Defense of a Doctoral Dissertation in Computer Science - Tony Leclercq
Designing UI/UX guidelines for web-based sales configurators
Mass customisation is today a major industrial paradigm, allowing the conciliation of mass production scale economies with the individual needs and preferences of customers. The web configurators are a central element of this approach, allowing users to personalise products or services directly online according to their preferences.
The literature on configuration technologies is huge. However, most resource studies focus on the reasoning side of the configurator (i.e., the backend), such as knowledge models, reasoning mechanisms, and constraint solving. The design of the user experience (UX) or the user interface (UI) is still less studied. Nevertheless, many studies show that the quality of the interface influences the configuration experience, user satisfaction, and the perceived value of the personalised product; moreover, some studies report the need to study them in greater depth.
To achieve this objective, a state-of-the-art review of web configurator design was first conducted to identify existing limitations and research gaps, followed by a second review focusing on the perceived values associated with web configurators. An introspection of 100 web configurators was then conducted to identify characteristics that may influence their UI/UX quality. In parallel, empirical studies involving both end-users and configurator designers were conducted to investigate users’ expectations and preferences and to examine whether these expectations are accurately understood by designers. A prototyping phase subsequently evaluated alternative design solutions, aiming to determine how users’ expectations can best be addressed within configurator interfaces and to identify the trade-offs that may be required in practice. Finally, after the design guidelines were developed, their effectiveness was evaluated through user studies, while their clarity, relevance, and applicability were assessed by configurator designers.
This research contributes to bridging the fields of configuration technologies and Human–Computer Interaction. It provides both a deeper understanding of the factors influencing user experience in web configurators and a comprehensive set of design guidelines that can be directly applied to develop more effective, more intuitive, and more user-centred web configurators.
The Jury
- Prof. Patrick Heymans - University of Namur, Belgium
- Prof. Florentin Rochet - University of Namur, Belgium
- Prof. Bruno Dumas - University of Namur, Belgium
- Prof. Tomi Männistö - University of Helsinki, Finland
- Prof. Jean Vanderdonckt - UCLouvain, Belgium
- Prof. Deepak Dhungana - IMC – University of Applied Sciences, Austria
Public Defense of a Doctoral Dissertation in Computer Science - Liesbet De Vos
SignFCG: A Framework for Operationalizing Sign Language Constructions in Computational Construction Grammar.
Abstract
Sign languages express meaning through sequentially and simultaneously produced manual and non-manual articulations, making them structurally different from spoken languages. However, many linguistic theories remain biased towards spoken language structures. An exception is construction grammar, a linguistic theory which analyses language through form-meaning mappings that can involve manual and non-manual articulations and can combine specific and schematic structures. While construction grammar is increasingly used to describe sign language constructions theoretically, computational implementations remain sparse, limiting its systematic application to corpora. The theoretical applicability of construction grammar to signed languages, however, does not guarantee that the theory can be computationally operationalised, which introduces challenges in representation and processing. This thesis addresses these challenges by introducing SignFCG, an extension of Fluid Construction Grammar (FCG). SignFCG introduces phonetic representations of manual articulations that account for their sequential and simultaneous organisation. It also provides avatar visualisations for signed forms and tools to transform linguistic annotations into the proposed format. To investigate the types of constructions that can be operationalised for a restricted domain of French-Belgian Sign Language (LSFB), a computational grammar comprising 904 constructions was manually developed using GeoQuery-LSFB, an extension of the multilingual GeoQuery corpus created as part of this thesis. The grammar was evaluated in comprehension and production, achieving high coverage. A user study based on semi-structured interviews with sign language researchers identified perceptions of SignFCG’s usability and potential adoption. Participants identified promising applications, including exploring and formalising constructions and studying constructional variation across contexts. The user study also identified a need for greater flexibility in SignFCG’s form representation, which may require varying levels of detail to answer different research questions. The contributions of this thesis are situated at the intersection of sign language linguistics research, construction grammar, and computational linguistics. For construction grammar, it demonstrates how constructional principles can be operationalised for the visual-gestural modality and how the combination of specific and schematic structures within constructions can facilitate this. For computational linguistics, it demonstrates the feasibility of bidirectional processing between manually signed forms and structured meanings within a restricted domain, while providing resources for further research. Extending FCG to signed languages also provides a basis for exploring other computational research areas in which FCG has been applied.
Jury
- Prof. Katrien BEULS - University of Namur, Belgium
- Prof. Bruno DUMAS - University of Namur, Belgium
- Prof. Anthony CLEVE - University of Namur, Belgium
- Prof. Laurence MEURANT - University of Namur, Belgium
- Prof. Paul VAN EECKE - Artificial Intelligence Laboratory, Vrije Universiteit Brussel, Belgium
- Dr. Remi VAN TRIJP - Sony Computer Science Laboratories, France
- Dr. Michael FILHOL - LISN, CNRS, France