吴志林
中国科学院软件研究所研究员
CCF与IEEE CS决定授予吴志林博士2020年CCF-IEEE CS青年科学家奖,以表彰他在自动机理论和程序验证方面所做出的突出贡献。
For significant contributions to automata theory and program verification, Dr. WU Zhilin is awarded 2020 CCF-IEEE CS Young Scientist Award.
匿名评论 所有评论仅代表网友意见
所有评论仅代表网友意见