中国科学院计算技术研究所, 副研究员、研究员级高级工程师 1987-08~2003-12,解放军信息工程大学, 讲师 教授课程《程序设计语言》程序设计程序设计语言程序语言设计 奖励信息(1) 北京市科学技术奖, 二等奖, 省级, 2012 专利成果( 1 ) 一种遗产代码向现代语言变换过程中的控制流变换方法, 发明, 2007, 专利号:...
获奖教师介绍: 武成岗,中国科学院大学岗位教授,中国科学院计算技术研究所研究员,博士生导师,中国科学院关键技术人才。中国科学院大学招收首届本科生以来,一直承担本科课程“程序设计技术与实验”的授课任务,授课18个班级,总课时1080,选课学生1127名。 课程介绍: 《程序设计...
工作简历 2003-12~2016-08,中国科学院计算技术研究所, 副研究员、研究员级高级工程师 1987-08~2003-12,解放军信息工程大学, 讲师 教授课程《程序设计语言》程序设计程序设计语言程序语言设计 奖励信息(1) 北京市科学技术奖, 二等奖, 省级, 2012 专利成果( 1 ) 一种遗产代码向现代语言变换过程中的控制流变换...
谢海斌 中国科学院计算技术研究所 合作机构 中国科学院计算技术研究所55 中国科学院计算技术研究所先进编译实验室11 中国科学院计算所3 中国科学院力学研究所2 北京大学信息科学技术学院软件研究所2 中国科学院研究生院1 中国科学院声学研究所1 南京师范大学地理科学学院1 中国海洋大学1 芮城五中1关于...
武成岗男博导中国科学院计算技术研究所 电子邮件: wucg@ict.ac.cn 通信地址: 北京市科学院南路6号中科院计算所系统结构重点实验室 邮政编码: 100190 研究领域从事基于编译技术的系统安全的研究,旨在通过编译技术手段,增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分析变换及优化、运行时程...
武成岗CCF体系结构专委主任、中国科学院计算所研究员 中国计算机学会 ,赞3 作者:CNCC2023【安全操作系统的构建与评测】技术论坛主席 武成岗 操作系统安全是当今信息技术领域中无可忽视的核心要素,关乎着整个数字化社会的稳定与繁荣。在当今这个高度互联的时代,我们的生活、工作、交流和交易几乎都离不开计算机系统,而操作...
武成岗CCF体系结构专委主任、中国科学院计算所研究员 作者:CNCC2023【安全操作系统的构建与评测】技术论坛主席 武成岗 操作系统安全是当今信息技术领域中无可忽视的核心要素,关乎着整个数字化社会的稳定与繁荣。在当今这个高度互联的时代,我们的生活、工作、交流和交易几乎都离不开计算机系统,而操作系统安全则是支撑这一切...
2001年7月-今 中国科学院计算技术研究所 2003-12~2021-08,中国科学院计算技术研究所, 副研究员、研究员级高级工程师 1987-08~2003-12,解放军信息工程大学, 讲师 研究方向 从事基于编译技术的系统安全的研究，旨在通过编译技术手段，增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分...