返回首页

卜磊

CCF青年科技奖

阅读量:866 fancc 收藏本文

Lei BU

卜磊

南京大学教授


CCF决定授予卜磊博士2022年“CCF青年科技奖”,以表彰他在实时混成系统形式验证技术方面所做出的突出贡献。


Dr. BU Lei is awarded 2022 CCF-IEEE CS Young Computer Scientist Award for his significant contributions to formal verification of real-time and hybrid systems.

<<< 上一篇   申恒涛
<<< 下一篇 陈厅
读完这篇文章后,您心情如何?

模板/storage/web/wwwroot_release/zgjsjxh/gb_footer.template.html不存在!