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余项。

申请表