卜磊,教授,博士生导师,现任南京大学软件学院副院长,兼任 CCF 系统软件专委秘书长;2010年在南京大学计算机与科学技术系获取博士学位;曾在CMU、MSRA等科研机构进行访学与合作研究;主要研究领域涉及软件工程、可信软件、形式化方法,研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面,部分创新性工作发表在...
卜磊,教授,博士生导师,现任南京大学软件学院副院长,兼任 CCF 系统软件专委秘书长;2010年在南京大学计算机与科学技术系获取博士学位;曾在CMU、MSRA等科研机构进行访学与合作研究;主要研究领域涉及软件工程、可信软件、形式化方法,研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面,部分创新性工作发表在...
南京大学计算机科学与技术系 被引频次 689 成果数 105 H指数 17 G指数 25领域: 计算机科学与技术 期刊 63.8% 会议 24.8% 专著 0% 其它 11.4% 总计 105篇 2010年成果数13 2015年被引量98 全部年份 全部类型 全部作者 按时间降序 基于指标依赖模型构建与监控的攻击检测方法 2023 - 王立敏,卜磊,马乐之,.....
2022中国计算机学会( CCF )颁奖典礼于2023年2月18日在北京隆重举行。南京大学软件学院卜磊教授因在 " 实时混成系统形式验证技术方面所做出的突出贡献 " 获得2022年度 " CCF青年科技奖 " (又称 " CCF-IEEE CS青年科学家奖 " )。同时获此奖项的还有电子科技大...
南京大学软件学院卜磊教授因在 " 实时混成系统形式验证技术方面所做出的突出贡献 " 获得2022年度 " CCF青年科技奖 " (又称 " CCF-IEEE CS青年科学家奖 " )。同时获此奖项的还有电子科技大学陈厅教授、上海交通大学傅洛伊副教授、清华大学李振华副教授、中国科学院计算机技术研究所王颖副研究员。
卜磊 南京大学, 教授 / 科研之友号:56308600 科研之友人员唯一编号 2 项目 115 成果 2915 阅读 94 下载 205 被引 8 H-指数 主页 成果
南京大学 卜磊南京大学配位化学国家重点实验室 南京大学配位化学国家重点实验室于1988年在南京大学配位化学研究所的基础上建立起来,1990年起向国内外开放,1991年通过国家验收。实验室为无机化学博士学位授予单位,并设有无机化学博士后流动站。 现任学术委员会主任为游效曾院士, 实验室主任为郭子建教授。 实验室立足于...
赞 分享 科研之友微信新浪微博Facebook分享链接 卜磊 南京大学 / 科研之友号:45804235 科研之友人员唯一编号 0 项目 9 成果 470 阅读 0 下载 19 被引 3 H-指数 主页 成果
卜磊老师介绍 卜磊,讲师。2001年7月毕业于宁夏大学外国语学院,英语教育专业。同年9月就职于宁夏医科大学至今。主要从事大学英语教学工作。2008年9月至2009年1月于北京师范大学进修。2009年9月赴宁夏大学攻读英语语言文学专业硕士学位。卜磊老师相关教学资源 宁夏医科大学教学资源 卜磊老师课程教学资源...