CCF系统软件专委会常务委员候选人简况 - 工业界
CCF系统软件专委会常务委员候选人简况
工业界
姓名:崔西宁
工作单位:中国航空工业集团公司西安航空计算技术研究所
职称/职务:研究员、特级专家
会员级别:高级
参加本专委时间:2014年
现任CCF职务:系统软件专委会(委员)
个人简介:
工学博士,研究员,在航空工业计算所从事机载计算机软件科研开发工作,项目主管。为集团公司的特级技术专家。CCF软件工程和系统软件专委会委员。先后主持和参加了多项预研、型号和核高基项目。在航电系统体系架构、容错重构、信息安全、嵌入式系统等多个领域有深入研究,先后在多项型号、预研项目中做出了突出贡献。发表论文50余篇,获得部级奖8项、集团级8项;荣立二等功2次,三等功4次;授权专利8项;培养硕士研究生多名。
姓名:古亮
工作单位:深信服科技股份有限公司
职称/职务:研发副总裁、首席技术专家
会员级别:专业
参加本专委时间:2017年
现任CCF职务:CCF计算机安全专委会委员、系统软件专委会委员
个人简介:
古亮,博士,深信服研发副总裁,兼首席技术专家、深信服创新研究院院长,同时担任发改委“下一代互联网信息安全技术国家地方联合工程实验室”主任,CCF计算机安全专委会委员、系统软件专委会委员。博士毕业于北京大学软件所计算机软件与理论专业,曾在美国耶鲁大学担任Associate Research Scientist、博士后。曾参加过多项国家973、863、自然科学基金、科技部科技支撑计划项目的研发工作。在美国耶鲁大学计算机系工作期间,曾参与了包括CRASH和HACMS在内的多个重点前沿研究探索项目,是Yale CertiKOS项目早期的主要贡献者。目前古亮博士负责深信服的技术研发和技术管理工作,推动云计算、系统安全等相关核心技术在国产云化IT和安全解决方案中的创新和应用,推动云计算和网络安全的相关产品和服务的技术突破,相关产品在市场取得了明显的领先优势,支持公司2018年32.5亿的营收。依托国家信息中心-深信服国家地方联合实验室,古亮博士牵头负责了广东省重大专项等多项国家和地方研究课题。
姓名:郭健美
工作单位:阿里巴巴集团
职称/职务:高级技术专家
会员级别:高级
参加本专委时间:2017年
现任CCF职务:软件工程专委常务委员、系统软件专委委员、YOCSEF上海委员
个人简介:
1998/09至2002/06:天津大学管理信息系统系,工学学士
2002/07至2004/06:上海神州数码管理系统有限公司,程序员、咨询顾问(后辞职考研)
2005/09至2008/03:上海交通大学计算机系,工学硕士(公费)
2007/09至2011/12:上海交通大学计算机系,工学博士(提前攻博)
2012/04至2015/08:加拿大滑铁卢大学电气与计算机工程系,博士后(导师:Krzysztof Czarnecki)
2015/12至2017/09:华东理工大学计算机系,副教授
2017/10至今:阿里巴巴集团基础软件部,高级技术专家
姓名:李震宁
工作单位:中标软件有限公司
职称/职务:高级工程师/副总经理
会员级别:专业
参加本专委时间:3年
现任CCF职务:系统软件专委会委员/CCF YOCSEF青年委员
个人简介:
2000年毕业于北京联合大学信息工程专业。同年进入中国软件,从事Linux操作系统研发和技术服务工作。 现任中标软件有限公司副总经理、山西分公司总经理。兼任上海市基础软件工程技术研究中心主任。信息技术应用创新工作委员会操作系统组长。中日韩东北亚开源论坛技术组中方组长。中国开源和基础软件技术创新战略联盟秘书长。中国开源软件推进联盟、中国开源云计算联盟、中国高端芯片联盟副秘书长、中国大数据智能计算专家委常委。
姓名:蒲戈光
工作单位:上海工业控制安全创新科技有限公司
职称/职务:总经理
会员级别:高级
参加本专委时间:2017年
现任CCF职务:形式化方法专委副主任
个人简介:
武汉大学本科;北京大学博士;从事的主要工作是形式化方法,软件测试与分析等。近期在LTL的可满足性检查与综合取得一列进展(CAV, IJCAI, AAAI等),同时在软件自动测试方面也进行了产业化的推进(ICSE, ASE, FSE等)。上海工业控制安全创新研发与转化功能型平台总经理,推进自动测试,高安全基础软件在产业界的技术转化。
姓名:王军
工作单位:北京汇智盈金科技有限公司
职称/职务:总经理
会员级别:专业
参加本专委时间:2018年
现任CCF职务:系统软件专委会委员
个人简介:
2008年获得南开大学软件工程硕士学位,2010年1月至今 天津南大通用数据技术股份有限公司 历任:售前工程师/解决方案工程师/方案组组长/战略合作部经理总经理/企业规划和战略发展部总经理/子公司(江苏华库数据技术有限公司)副总经理/公司副总经理(非行政管理,用于业务开拓。北京汇智盈金科技有限公司联合创始人。
姓名:王千祥
工作单位:华为公司
职称/职务:技术专家、软件分析实验室主任
会员级别:高级
参加本专委时间:2002年
现任CCF职务:软件工程专委 副主任、系统软件专委 委员
个人简介:
1987-1991 国防科技大学 计算机系 本科生
1991-1997 西北工业大学 计算机系 硕士生、博士生
1991-2016 北京大学 计算机系 博士后、副教授、教授
2016-至今 华为公司
姓名:尹刚
工作单位:绿色计算产业联盟
职称/职务:技术委员会副主任
会员级别:专业
参加本专委时间:2017年
现任CCF职务:CCF软件工程专委委员、CCF系统软件专委委员
个人简介:
毕业于国防科技大学,先后获学士、硕士(保送)、博士学位以及副研究员职称。现任绿色计算产业联盟技术委员会副主任、新工科联盟实践教学副秘书长、中国开源推进联盟副秘书长、湖南省复杂系统软件工程实验室主任助理,中国计算机学会杰出演讲者,牵头或参与国家级课题20余项, Trustie平台和EduCoder平台技术负责人,成果得到大规模应用,先后获湖南省技术发明一等奖、国家技术发明二等奖,发表论文80余篇,获授权发明专利10余项。