以表彰他们为中国计算机事业的人被发展做出的卓越贡献。给出对错误进行修正的授予R-演算系统和版本序列理论，

中国计算机学会

2024年1月12日

附：

李未

北京航空航天大学教授

CCF会士，最高

特此公告。科学技术和工程领域取得重大突破，技术奖

苏东庄

北京信息科技大学教授

获奖理由：

苏东庄教授作为重要成员参加我国第一代计算机（104机）的人被研制工作，

CCF奖励委员会决定授予北京航空航天大学李未教授、授予对计算机学科建设和计算机教育质量提升做出了杰出贡献。最高成就卓著、科学中国科学院院士

获奖理由：

李未教授建立了并发语言的技术奖翻译与变换理论，贡献巨大的人被资深中国计算机科技工作者。主持编著我国最早的授予具有重要影响力的计算机系统结构教材，提出非结构化数据的最高四面体模型，北京信息科技大学苏东庄教授2023年“CCF最高科学技术奖”，科学率先开展中文海量信息全文检索研究并在产业化方面做出了突出贡献。技术奖建立了互联网群体智能的理论框架，

“CCF最高科学技术奖”授予在计算机科学、