2023年CCF最高科学技术奖评选结果公告

获奖理由：

李未教授建立了并发语言的翻译与变换理论，给出对错误进行修正的R-演算系统和版本序列理论，提出非结构化数据的四面体模型，建立了互联网群体智能的理论框架，对计算机学科建设和计算机教育质量提升做出了杰出贡献。

获奖理由：

苏东庄教授作为重要成员参加我国第一代计算机（104机）的研制工作，主持编著我国最早的具有重要影响力的计算机系统结构教材，率先开展中文海量信息全文检索研究并在产业化方面做出了突出贡献。