李未
北京航空航天大学教授
CCF会士、中国科学院院士
李未教授建立了并发语言的翻译与变换理论,给出对错误进行修正的R-演算系统和版本序列理论,提出非结构化数据的四面体模型,建立了互联网群体智能的理论框架,对计算机学科建设和计算机教育质量提升做出了杰出贡献。
为此,CCF奖励委员会决定授予李未教授2023年“CCF最高科学技术奖”。
匿名评论 所有评论仅代表网友意见
所有评论仅代表网友意见