为了让广大师生更加了解互联网的发展，有效学习软件开发前沿技术，工学部网络工程教研室将连续举办三场专题讲座，欢迎广大师生参加。

　　时间：7月6日（星期四）14：00

　　地点：19号楼301会议室

　　主办：工学部 计算机与通信工程学院网络工程教研室

　　讲座一

　　主题：Logic for Reasoning about CloudStorage Systems

　　主讲人：王捍贫 

　　主讲人简介：

　　王捍贫，北京大学信息科学技术学院教授，博导，软件研究所副所长，理论实验室主任。主要研究领域为形式化方法，包括程序逻辑，程序语义，计算机系统的建模与验证。已在包括ICALP、JPDC、CSL、TCS、中国科学等国内外重要学术会议与期刊上发表论文70余篇，著作或译著7部。主持自然科学基金4项，参加自然科学基金4项，主持或参加国家重点基础研究发展规划（973计划）项目子项目3项，主持863计划一项，获日本大川研究基金研究助成奖，教育部高等学校科学技术奖励自然科学奖一等奖一项（排名第二）。

　　讲座简介：

　　本讲座主要讨论云存储问题，云存储中基本的存储和处理单位不仅仅是单个的存储单元，而是以由多个存储单元构成的“块”。在分离逻辑中引入“块变量”以描述云存储管理过程，进而对云存储管理的可靠性进行验证。

　　讲座二：

　　主题：自主车辆与车联网：影响与挑战

　　主讲人：戚懿

　　主讲人简介：

　　戚懿，现任美国德州南方大学交通工程系主任、终身教授。2002年毕业于纽约理工大学交通运输专业，获博士学位，之后进入弗吉尼亚大学交通运输工程博士后流动站从事科研工作，2005年出站任教至今。戚懿教授在城市交通规划、交通运输建模，高速公路安全分析、交通运输空气质量和智能运输系统领域进行大量前沿研究。近年来先后主持了二十余项由美国运输部(USDOT),联邦高速公路管理(FHWA)，德克萨斯州运输部(TxDOT)等部门资助的重点项目,有着丰富的项目组织、管理经验。在这些研究工作的基础上，戚懿教授发表众多学术论文在科学引文索引(SCI)期刊和撰写科研报告二十余篇。此外，戚懿教授还作为主研人员参与了州运输部以及联邦公路局资助关于先进事件管理及事故预防方面的多项研究项目。在这些研究项目中，戚懿教授开发了实时的事件概率模型及事件延误预测模型，这些模型在其发表的刊物论文上都有所阐述。在这些研究工作的基础上，戚懿教授撰写了一本关于事件延误模型开发及事件管理策略评价的专著，该著作已由著名的Elsevier出版社出版。作为一名在国内外认可的学者，戚懿教授现任多个美国交通领域执行委员会的理事或顾问和多个国际交通领域学术组织下属委员会理事。

　　讲座简介：

　　本次演讲将介绍车联网技术，以及论述在车联网技术上，自主车辆对交通安全、运营和规划可能存在的影响，讨论自主车辆的利益和成本，并探讨实施自主车辆面对的主要挑战。

　　讲座三：

　　主题：革命性的REACT开发语言技术

　　主讲人：贺振全

　　主讲人简介：

　　贺振全，上海交通大学硕士，现就职于子杰软件有限公司，担任产品经理及项目经理。具有丰富的移动开发经验，做过如下项目：1.立邦的无线页面装修网页版；2.兴业的金牛币积分系统微信版本；3.安保公司的反正求助REACT；4.玖龙纸厂的纸厂管理项目REACT以及网页平台；5.创一教育的教育平台REACT以及管理平台等。

　　讲座简介：

　　本讲座将结合实际开发经验为广大师生详细讲解react语言技术的应用以及发展前景。由Facebook公司最新推出的react开发语言，完美地解决了现今主流的移动互联网操作系统IOS和安卓的兼容问题，从而该开发语言被誉为即将取代双平台分别开发的革命性开发语言。本讲座还将请公司人事部经理从招聘角度介绍企业需要什么样的技术人才。