搜索结果: 16-23 共查到“计算机科学技术 高可信”相关记录23条 . 查询时间(0.165 秒)
2020年12月5日-6日,由北京大学高可信软件技术教育部重点实验室主办了第十届高可信软件技术研讨会暨高可信软件技术学科引智基地学术研讨会。由于疫情影响,此次会议采用线上会议和线下会议相结合的方式举行。高可信软件技术学科引智基地(简称111计划)目前共17位专家,这次有16位专家参加并分别做了非常精彩的报告。16位111专家里面,除了去年入职北大的胡振江教授和谢涛教授以外, 海外专家包括美国爱荷华...
生命体是一个以生物大分子为材料构成的人类已知的最智慧的信息处理“机器”。所以,人类近几十年来,意在用生物材料研发信息处理的计算机,称为生物计算机。当前的生物计算机主要集中于DNA计算机的理论、实现技术与方法展开研发。
863信息技术领域“新一代高可信网络”课题开始申请
863 信息技术 新一代高可信网络
2009/7/5
863信息技术领域“高可信软件”重点项目课题开始申请
863信息技术;高可信软件
2009/4/15
北京大学高可信软件技术教育部重点实验室通过专家验收
北京大学高可信软件技术教育部重点实验室 验收
2008/12/15
2008年12月10日,教育部科技司组织专家对北京大学高可信软件技术教育部重点实验室建设项目进行了验收,专家组由来自国内其他高校和中科院研究所的7位专家组成,中国科学院软件所周巢尘院士任专家组组长。北京大学常务副校长林建华,信息学院杨芙清院士,科学研究部部长周辉、副部长吴朝东及基地建设办公室成员参加了验收会。验收会由教育部科技司基础李渝红处长主持。