XiaoMi-AI文件搜索系统
World File Search SystemLIP6
活动报告 - LIP6
1- 通过定义联合项目与 INRIA 建立合作伙伴关系。目前，已经创建了两个项目：SPACES 项目（参见第 65 页）围绕 LORIA 和 LIP6 之间的双本地化结构运行； REGAL 项目（见第 66 页）与 INRIA Rocquencourt 合作已进入第一年。 2- 通过内部实验室项目的股权融资（10 万至 14.5 万）支持新兴活动。 3- 通过项目团队构建培训支持活动，实验室研究人员作为 STIC 部门 RTP 39 的一部分参与其中（参见第 52 页）。 4- 加强与共同计算领域的数值分析实验室的关系。
可解释人工智能的抽象解释 (AI4XAI) 博士课题
博士生将在 ForML 项目 (https://www.irit.fr/ForML) 内工作。该项目是图卢兹信息研究所 (IRIT)（Aurélie Hurault、图卢兹 INP 和 Martin Cooper、图卢兹 III）、索邦大学（Antoine Miné、LIP6）和 Inria Paris（Caterina Urban、ANTIQUE）之间的合作，由 IRIT 领导。ForML 旨在开发基于抽象解释的新静态分析技术和基于反例引导抽象细化的新模型检查技术，以验证机器学习软件的稳健性、公平性和可解释性。博士生将驻扎在巴黎，由 Caterina Urban 和 Antoine Miné 共同指导。预计还将前往图卢兹进行研究访问并与该项目的 IRIT 成员合作。
太空中的量子技术
1 卢布尔雅那大学数学与物理学院，卢布尔雅那，斯洛文尼亚 2 量子光学与量子信息研究所，维也纳，奥地利 3 ICFO-Institut de Ciencies Fotoniques，巴塞罗那科学技术学院，卡特尔德费尔斯（巴塞罗那），西班牙 4 ICREA-Institucio Catalana de Recerca i Estudis Avan¸cats，巴塞罗那，西班牙 5 布达佩斯技术与经济大学网络系统与服务系，布达佩斯，匈牙利 6 空中客车防务与航天有限公司，朴茨茅斯，英国 7 LP2N，光、数值与纳米科学实验室，波尔多大学-IOGS-CNRS：UMR5298，塔朗斯，法国 8 LIP6，索邦大学，CNRS，法国巴黎 9 马克斯普朗克光科学研究所，埃尔朗根，德国10 葡萄牙里斯本大学高级技术学院 11 葡萄牙里斯本电信学院 12 葡萄牙 Y Quantum – Why Quantum Technologies Ltd. 13 德国汉诺威莱布尼茨大学量子光学研究所 14 德国韦斯林 OHB System AG 15 德国陶夫基兴空中客车防务与航天有限公司 16 英国南安普顿大学物理与天文系 17 意大利帕多瓦大学信息与工程系 18 意大利帕多瓦大学帕多瓦量子技术研究中心 19 法国图卢兹泰雷兹阿莱尼亚宇航公司 20 希腊伊拉克利翁研究与技术基金会电子结构与激光研究所 21 瑞士日内瓦大学 22贝尔法斯特女王大学，贝尔法斯特，英国 ∗
太空中的量子技术 - ePrints Soton
1 卢布尔雅那大学数学与物理学院，卢布尔雅那，斯洛文尼亚 2 量子光学与量子信息研究所，维也纳，奥地利 3 ICFO-Institut de Ciencies Fotoniques，巴塞罗那科学技术学院，卡特尔德费尔斯（巴塞罗那），西班牙 4 ICREA-Institucio Catalana de Recerca i Estudis Avan¸cats，巴塞罗那，西班牙 5 布达佩斯技术与经济大学网络系统与服务系，布达佩斯，匈牙利 6 空中客车防务与航天有限公司，朴茨茅斯，英国 7 LP2N，光、数值与纳米科学实验室，波尔多大学-IOGS-CNRS：UMR5298，塔朗斯，法国 8 LIP6，索邦大学，CNRS，法国巴黎 9 马克斯普朗克光科学研究所，埃尔朗根，德国10 葡萄牙里斯本大学高级技术学院 11 葡萄牙里斯本电信学院 12 葡萄牙 Y Quantum – Why Quantum Technologies Ltd. 13 德国汉诺威莱布尼茨大学量子光学研究所 14 德国韦斯林 OHB System AG 15 德国陶夫基兴空中客车防务与航天有限公司 16 英国南安普顿大学物理与天文系 17 意大利帕多瓦大学信息与工程系 18 意大利帕多瓦大学帕多瓦量子技术研究中心 19 法国图卢兹泰雷兹阿莱尼亚宇航公司 20 希腊伊拉克利翁研究与技术基金会电子结构与激光研究所 21 瑞士日内瓦大学 22贝尔法斯特女王大学，贝尔法斯特，英国 ∗
Hélène SPORTOUCHE 论文
这项博士研究工作是在 Télécom ParisTech（巴黎）的 TSI 部门和 Thales Communications（马西）的 IMINT 部门之间建立的 CIFRE 协议框架内进行的。这篇论文让我有机会探索实验室研究的世界和商业世界，从而让我获得双重经历，极大地丰富了作为员工的专业水平。我要感谢这三年来陪伴我度过这场伟大的科学和人类冒险的所有人。我要特别感谢我的论文导师、巴黎高科电信教授 Florence Tupin 女士和我的工业经理、泰雷兹通信公司工程师 Léonard Denise 先生，他们在这三年里对我进行了指导。我很高兴与他们合作，并非常感谢他们的优质监督、长期投资、宝贵建议、倾听技巧、友善和随时待命。在此向他们表示感谢，感谢他们在本论文的不同阶段给予我的帮助。我还要感谢他们在令人兴奋的遥感、光学和雷达成像领域所提供的卓越教学，以及我们围绕这些主题进行的所有富有成效和激励人心的对话。我还要感谢巴黎高科电信教授 Jean-Marie Nicolas 先生，他发起了这个博士项目，并参与了这项工作的每个关键方向。我热烈感谢他的参与、他的善意以及我们的多次交流，总是非常丰富。我还要感谢我的辩护评审团的所有成员。非常诚挚地感谢格勒诺布尔INP教授Jocelyn Chanussot先生和波尔多ENITA教授Christian Germain先生同意报告本论文，他们的建设性言论和开明的意见极大地促进了论文的进展。这项工作和手稿的定稿。我非常热烈地感谢马赛中央理工学院教授 Philippe Réfrégier 先生担任我的答辩评审团主席，我对他在菲涅尔研究所硕士实习期间给我的明智建议表示衷心的感谢，并且他鼓励我在实习结束时写一篇论文。我还要感谢评审团的评审员、CNES 工程师 Jordi Inglada 先生和 ESGT 勒芒讲师 Élisabeth Simonetto 女士，感谢他们对这项研究工作的关注和兴趣。我还要感谢巴黎南理工大学教授 Sylvie Le Hégarat-Mascle 女士、LIP6 / UPMC 讲师 Séverine Dubuisson 女士以及巴黎高科电信教授 Isabelle Bloch 女士，他们是我的评审团成员