卜磊
南京大学教授
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.
匿名评论 所有评论仅代表网友意见
京公网安备 11010802032778号 京ICP备13000930号-4
返回首页
所有评论仅代表网友意见