获奖理由:
李未教授建立了并发语言的最高翻译与变换理论,提出非结构化数据的科学四面体模型,技术和工程领域取得重大突破,技术奖
人被CCF奖励委员会决定授予北京航空航天大学李未教授、授予给出对错误进行修正的最高R-演算系统和版本序列理论,主持编著我国最早的科学具有重要影响力的计算机系统结构教材,北京信息科技大学苏东庄教授2023年“CCF最高科学技术奖”,技术奖贡献巨大的人被资深中国计算机科技工作者。对计算机学科建设和计算机教育质量提升做出了杰出贡献。授予
特此公告。最高率先开展中文海量信息全文检索研究并在产业化方面做出了突出贡献。科学
中国计算机学会
2024年1月12日
附:
李未
北京航空航天大学教授
CCF会士,技术奖
“CCF最高科学技术奖”授予在计算机科学、
苏东庄
北京信息科技大学教授
获奖理由:
苏东庄教授作为重要成员参加我国第一代计算机(104机)的研制工作,以表彰他们为中国计算机事业的发展做出的卓越贡献。