2016年10月19日下午2:30，受公司普适计算研究团队负责人王小明教授邀请，西北大学华庆一教授和西北工业大学董云卫教授前来公司学术交流。此次报告会分为两部分：华庆一教授做题为《浅谈国家基金评审与申请书撰写》的讲座、董云卫教授做《AADL安全性建模和定量分析方法》的讲座。报告由公司王小明教授主持。

 华庆一，博士、教授、博导，现任职于西北大学信息学院计算机科学系。现任西北大学学术委员会科研分会委员，《计算机学报》编委会委员，CCF人机交互分会委员，CCF系统软件分会委员。曾任德国国家信息科学研究所（GMD）客座研究员，中科院软件所客座研究员，两度参加《国家自然科学基金委信息科学部》会议评审。主要研究方向为人机交互理论、用户为中心的界面建模方法与过程、用户界面软件工具环境。多年来，曾主持多项国家级项目和一批省部级项目，在国内外发表论文百余篇。

 董云卫，西北工业大学计算机学院教授，博士生导师，IEEE可靠性学会西安分会主席，西安市老员工创业导师。1991年毕业于哈尔滨工业大学数学系，1994年于哈尔滨工业大学获得硕士学位，2004年于西北大学获得软件工程博士学位。2006年至2007年间在澳大利亚Swinbourne科技大学从事博士后研究工作，与T.Y.Chen教授合作开展嵌入式软件测试研究。主要研究方向：嵌入式系统、软件模型驱动开发方法、信息-物理融合系统和软件测试。曾任航天科工集团第210研究所工程师、西安协同软件股份有限公司总工程师、西安协同数码股份有限公司总工程师、西安软件工程中心总工程师。主持和参加国家自然科学基金、国家863计划、国防预研、国家高新技术产业化专项计划、国家“核高基”专项计划等近20多项课题，发表学术论文近百篇，出版专著2部。2000年获首届“陕西省十大软件行业杰出青年”，2001年获首届“中国软件行业杰出青年”提名。

华庆一教授在报告中首先介绍了基金项目的分类和国内外研究趋势，然后结合自己的项目申请书就如何写项目摘要以及项目立论依据进行了详细讲解，报告结束后为部分青年教师专门讨论基金写作问题。

董云卫教授先对安全性进行了介绍。接着，对目前安全性研究现状进行了详细分析。随后重点介绍了AADL模型安全性定量分析方法。最后，董云卫教授介绍了运行管理服务软件安全性建模与分析的整个流程。

王小明教授对两位教授的到来表示感谢，并希望以后能有更多的交流与合作，共同推进公司科研水平能力的提升。