返回首页

吴志林

阅读量:139 fancc 收藏本文

吴志林

吴志林

中国科学院软件研究所研究员


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.

<<< 上一篇   梁云
<<< 下一篇 俞扬
读完这篇文章后,您心情如何?