武成岗(正高级工程师)

武成岗,中国科学院计算技术研究所研究员级高级工程师,博士生导师,2001年于中国科学院计算技术研究所获博士学位。长期从事基于编译技术的软件安全技术的研究,旨在通过程序分析技术,增强软件的安全性、可靠性和高效性。在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、安全防御等方面,有着较深的技术积累。发表论文30余篇,部分发表在USENIX Security、TSE、ICSE、ASE、TPDS、TACO、SIGMETRICS、PACT、CGO、VEE、DATE等学术会议和期刊上,获得授权专利16项,软件著作权5项,并于2012年荣获北京市科学技术二等奖。担任国际学术会议CGO 2013大会主席、APPT 2013程序委员会主席,还担任CGO2015-2018、PPoPP2017-2018、PLDI2012、CCGrid 2015、ICPADS 2014、PPPJ2014等会议的程序委员会委员。武成岗是首个担任编译顶级国际学术会议CGO大会主席的国内学者,也是首次应邀参加编译旗舰会议PLDI程序委员会的两位国内学者之一。当选CCF体系结构专委会副主任。担任APPT 2013的PC chair; PLDI、CGO等会议的PC委员。应邀在中科院学部论坛、DARPA、Intel、微软、普渡大学上做特邀报告。获计算所卓越之星1次,优秀员工2次、奖教金3次。所培养学生获所长特别奖2人,其它奖项14人。

王喆(副研究员)

王喆,中国科学院计算技术研究所副研究员。2018年于中国科学院计算技术研究所获得计算机系统结构博士学位,然后留所工作至今。他主要的研究方向,包括动态二进制翻译技术、并行程序错误分析技术、系统虚拟化技术、系统安全和硬件侧信道安全。最近几年主要的研究方向集中在基于编译技术、二进制变换、新型硬件和虚拟化技术的系统安全防御。他本人以第一作者身份的学术成果发表在USENIX Security、TSE和VEE等会议和期刊上。目前承担国家青年自然科学基金一项。

赖远明、康妍 (助理研究员)

博士生:孙力立、唐博文、谢梦瑶、贾力陈、许佳丽、黄紫薇、张培华

硕士生:曾凯、陈瑞新、陈博言、于丁、侯成宣、张晓宏、康泽言、张博文


武成岗 可能工作过的组织/机构/部门/团队:


武成岗 可能工作过的同事:

粤ICP备17091748号-1
剧本杀复盘 剧本杀复盘 红酒 ChatGPT