- the design and verification of integrated, mobile, communicating systems,
- modelling of complex agent-based systems,,
- studies in algorithms, bioinformatics, human-machine interactions, robotics, etc.
Research activities fully position LIRMM at the heart of information, communication and systems science and technology.
Thus, from information to systems, from technology to human and uses, LIRMM's research activities include:
One of the particularities of LIRMM is that theory, tools, experiments and applications are present in all its fields of scientific competence.
The research activities carried out at LIRMM are generally completed in application fields as diverse as biology, chemistry, telecommunications, health, environment... and in the laboratory's own fields: computer science, electronics and automation.
The work is carried out in three scientific research departments, which are themselves organized into teams.
The Computer Science Department includes more than 200 researchers working in 15 research teams. It covers most research fields in computer science. Our contributions are theoretical, algorithmic and/or applicative. They fall into three main lines of research.
• The Algorithm and Computation line studies graph algorithms, parameterized complexity, cellular automata, tilings, and words. It is also involved in operations research (optimization problems for networks, scheduling). Researchers in the computation field focus on high-performance computing and its validation, the exploitation of new parallel architectures, symbolic computation, computer arithmetic, cryptography and algorithmic number theory. Combinatorial, probabilistic and statistical approaches are used to tackle problems in bioinformatics such as sequence analysis, evolution study, functional annotation of genes and proteins.
• The Data, Image and Software Engineering line addresses search and storage challenges raised by the management of big data, especially when data are collected in real time, when they are heterogeneous and/or when they are shared. Data mining algorithms and distributed data processing systems are designed for handling problems in the fields of health and agronomy. Our research also focuses on visual data processing (images, videos and 3D objects), and aims to improve the processing of imprecise, uncertain or confidential data, design encryption and protection algorithms, and propose new representation models. Furthermore, several software engineering topics are studied: reuse in product-line engineering, model-driven engineering (using mainly formal concept analysis) and semantics (formal properties and implementation of programming languages).
• The Artificial Intelligence line studies logical, graph-based and ontological formalisms for representing knowledge, reasoning and for argumentation. Another field is constraint reasoning and programming. It deals with global constraints, adaptive algorithms, constraint acquisition, continuous constraints and applications in agronomy. Research is also carried out on multi-agent systems, serious games, preferences, argumentation and semantic web. Research in natural language processing (lexical corpus generation, text summary by compression, automatic translation) is addressed from a semantic perspective (vectorial semantics, lexical network) and from a syntactic perspective (Markov’s algorithms on trees, Lambek’s pre-orders).
LIRMM’s Microelectronics Department is specialized in research on innovative solutions to embed more intelligence in integrated electronic systems, notably by taking advantage of emerging technologies. The resulting scientific challenges have to do with the quality, reliability, testing, adaptability, efficiency, and security of these systems, while particular attention must be paid to digital security, energy efficiency, resilience, and handling complexity. Most of our activities find applications in the field of hardware architectures for high-performance computing, communicating objects for the living and environments, including harsh (spatial, radiative, high temperature) environments.
LIRMM’s Microelectronics Department was created in the early 1980’s. Long before LIRMM’s creation, we had actively participated in the development of CMOS technology in France and in Europe. Within the framework of Moore’s law and SIA (Semiconductor Industry Association) roadmaps, these activities focused on three main objectives:
• Verifying the functionality of evermore complex integrated circuits (increasing number of transistors).
• Developing simulation methods adapted to complexity i.e. notably faster simulation runtime than in electrical simulations.
• Providing architectures optimized for specific applications.
Year after year, our Ph.D. graduates (nearly 400 graduates to date) have been hired by major industrial companies and the expertise of our researchers has been recognized all over the world.
LIRMM Robotics Department contributes to the design of innovative robotic systems and fundamental tools, aiming at bringing them to full development and use in industry and other economic sectors. About 30 researchers, professors, lecturers, and engineers work together with 40 PhD students on robotic system modeling, design, control, sensing and information processing. The scope of these research activities ranges from humanoid, industrial, medical, and underwater robotics to human-robot physical interactions, functional electrical stimulation for rehabilitation and supplementation, as well as signal and image processing.