山东科技大学杜玉越教授应邀来我校开展学术交流

党委副书记刘学景为杜玉越教授颁发聘书

杜玉越教授作专题报告

杜玉越教授与信息工程学院教师座谈

4月26日，应学校邀请,山东科技大学信息科学与工程学院博士生导师杜玉越教授来我校开展学术交流活动。

党委副书记刘学景代表学校向杜玉越颁发了客座教授聘书。刘学景首先感谢杜玉越教授对我校信息工程学院教学科研工作的支持。他指出，山东科技大学信息科学与工程学院办学历史长，教学科研水平高，杜玉越教授具有很高的学术造诣，此次受聘于我校客座教授，必将促进我校信息工程学院各专业不断提高教学科研水平。他对杜玉越教授来我校开展学术交流表示欢迎，希望双方进一步加强合作与交流。座谈中，杜玉越教授就论文撰写发表、科研项目申报、课题研究及师资培养等问题与大家进行了交流，对我校信息工程学院专业和学科建设提出了建设性意见。

当天，杜玉越教授在日照校区学术报告厅作了题为《形式化方法在软件开发中的应用》的学术报告。报告主要包括软件开发的历史、软件危机、软件工程及形式化方法等四个部分。杜玉越教授侧重介绍了解决软件危机的软件形式化技术方案，并借助国内外一些经典案例，对形式化方法开发软件的目的、分类、规格、验证及展望作了深入浅出的讲解；对同学们在专业知识学习、考研等方面应注意的问题给予了具体指导。杜玉越教授的精彩报告博得了与会人员的热烈掌声。

杜玉越，CCF高级会员，中国计算机学会Petri网专业委员会委员。国际刊物《Information Technology Journal》编委，《IEEE Transactions on Systems, Man and Cybernetics》、《软件学报》等国内外重要学术期刊的审稿专家。主要研究分布式计算、形式化工程方法、可信计算、Web服务、Petri网理论与应用。在《IEEE Transactions on System, Man and Cybernetics》等国内外重要刊物上发表学术论文90余篇，其中SCI、EI、ISTP收录40余篇。主持国家自然科学基金3项、山东省科技发展计划项目3项、中科院计算机科学国家重点实验室开放课题4项；作为项目主要成员完成国家自然科学基金、国家重点基础项目（973计划）等国家级课题7项、省部级课题8项。

此次活动由科研处主办、信息工程学院承办，旨在活跃学校学术氛围，促进专业及学科建设。该活动不仅开阔了学生视野，激发了教师积极开展科学研究的热情，也为我院计算机等相关学科专业建设发展提供了有益启发，取得了很好效果。

                       （科研处、信息工程学院）