• 联系人：奥利维尔·伯内斯
• 链接：网站，研讨会

软件和硬件系统执行计算（处理、计算和执行的系统）和演绎（搜索、检查或证明的系统）。这些系统的制造商使用各种框架来表达他们的意图，例如编程语言、规范语言和逻辑。系统的正确性是一个关键问题。通常需要更进一步，并且能够保证设想的解决方案的效率，这有时在很大程度上取决于使用的计算范式或模型，或基础系统的模型。

“证明和算法”小组旨在开发和使用数学原理，为高效和正确的计算和推理设计更好的框架，

我们关注从理论到应用的基本方法：研究程序设计和证明理论的基本问题（证明理论基础、语义、可计算性和复杂性理论、计算模型、函数式和命令式程序设计复杂性分析基础），程序和系统的建模和分析（不变量、时间属性、正确性保证）、随机算法的可计算性和复杂性理论、计算的模拟模型和约束求解。一个特殊的应用领域涉及模拟和数字系统。

• AlCo团队

• Cosynus团队

• 团队合作伙伴

联系人：马蒂厄·德斯布伦

从研究现实世界中的物体和现象开始，我们的重点是开发用于其分析、模拟、可视化和/或设计的新表示和算法。这可能导致在离散算法中分析和使用生物模型，例如理解或预测生物分子的行为，在捕获的视觉和几何数据的计算分析的有效方法中，以及各种3D虚拟原型和虚拟世界的交互式构建，可以制作动画。在所有情况下，这些方法都由数据、先验知识和数学建模的组合提供信息。

• Amibio团队：集成生物学算法和方法（AMIBio）团队是生物信息学领域的一个研究小组，为分子和结构生物学的关键问题提供预测计算方法，在（核糖）核酸方面拥有强大的专业知识。

• GeomeriX团队：GeomeriX（几何数字）的科学目标是通过几何角度为数据处理提供基础和实用的方法。

• VISTA团队：VISTA（视觉世界：时间分析、动画和创作）团队是一个计算机图形和计算机视觉小组，致力于动画内容的3D交互式创建和自动视频分析，应用范围从单个形状到复杂的虚拟世界。

关键词：生物信息学、计算机图形学、计算机视觉、离散和几何算法、视觉和几何数据学习

联系人：弗朗索瓦·莫林

关键词：

该小组包括GRACE（INRIA/LIX）和Networks（LIX）两个团队。他们的目标是通过在广泛的应用中提供高效和安全的通信来发展“数字化社会”。

• GRACE团队：GRACE主要致力于通信和计算安全，在密码学（数论、基于曲线、基于代码）、网络安全和编码理论方面开展研究。

• 团队网络：NETWORKS团队对所有与数据网络、数字通信、网络架构、网络优化相关的东西感兴趣，尤其是在约束环境中。

联系人：Ioana Manolescu公司

“数据分析和机器学习”小组的团队研究探索、处理、分析和理解复杂数据的新方法。

• CEDAR团队：CEDAR专注于云级别的丰富数据分析。其主要研究领域是：规模优化和性能；数据探索和洞察力发现；以及异构数据集成。CEDAR研究适用于语义Web图、大容量数据流、业务分析、计算事实检查、多商店系统和基于云的数据管理。

• Comete团队COMETE的研究遵循两条主线：研究衡量计算机系统中信息泄漏的指标，以及设计维护数据效用的隐私保护机制的方法；以及数学模型来推理计算机网络中信息的传播，以及诸如群体极化和虚假新闻的传播等问题。

• DaSciM团队：DaSciM研究旨在为图形、文本和流数据提供先进的机器和深度学习方法。重点介绍的方法包括大规模图的图简并、图核、节点/图和集合嵌入、图同构、深度学习体系结构稀疏化和图神经网络。应用领域包括自然语言处理（关键词提取、事件检测、意见挖掘、法律文本）、推荐系统、社交网络中的影响力最大化、学术数据分析和欺诈检测。

联系人：格雷戈雷·莱瑟夫

几十年来，计算机科学在将数学理论转化为工程和学术研究实践方面发挥了重要作用。为了探索数学结构和高效算法之间的相互作用，计算机数学中出现了新的研究领域。这些领域的科学成功通常依赖于算法的进步以及高效的软件实现。因此，可以在降低能耗的同时解决越来越大的问题。

我们的计算机数学研究小组站在代数、离散数学、多面体几何、优化、控制理论和概率的十字路口。它由三个团队组成，分别致力于组合学、计算机代数和优化。该集团定期获得学术资助，但也与行业合作伙伴保持密切联系。

• Combi团队在组合数学中，该团队设计了有效的技术来枚举和操作各种离散结构，通常具有拓扑或几何风格（映射、多面体）。探索的应用包括随机离散结构的极限（尤其是随机离散表面，可能被赋予统计物理模型）、高效算法的开发（例如用于随机生成、网格压缩、图形绘制）以及代数恒等式的组合解释。

• MAX团队该团队专注于计算机代数和分析，即使用代数和分析中的对象进行数学上精确的计算。研究兴趣范围从基本的可计算性和复杂性问题到工程师和科学家广泛使用的现有计算机代数系统的改进。此外，该团队还开发了计算软件库(网址：http://www.mathemagix.org)和科学编辑平台GNU TeXmacs(https://www.texmacs.org网站).

• OptimiX团队该团队为数学问题家族开发了优化方法，这些数学问题通常很难以精确的方式解决，但近似算法通常会产生相关的解决方案。该团队专注于预处理输入数学模型，并根据优化和控制理论开发智能求解器。它在工业和社会问题的数学建模方面拥有广泛的专业知识，包括城市交通、交通管制、航空运输、分子设计、自然语言处理、能源感知计算、废水管理、云计算、网络可靠性等。

关键词：渐近分析、组合数学、计算机代数、控制理论、离散结构、距离几何、线性规划、优化、可靠性计算