各部门、各单位：

为响应我校第二届科技文化节的召开，深化学校“教研统一、开放办学、人文与科学并重”的办学理念，推进实践育人工作，增强学生创新意识和能力，特举办西安邮电大学第二届科技文化节学术讲座，现将相关事宜通知如下：

一、时 间：2015年5月13日(周三)16:30

二、地 点：西安邮电大学长安校区行政楼附一楼报告厅

三、主讲人：韩俊刚

四、题 目：众核计算机

五、主 办：校学生工作部  校团委

六、承 办：计算机学院

七、要求：参会学生在16:20前入场，按照指定座位入座；将手机调成静音或震动。

八、主讲人简介：

韩俊刚，教授， 1966年毕业吉林大学数学系,1981年9月毕业于中国科学院计算技术研究所，获硕士学位，1981年9月至1992年9月，在西安电子科技大学工作。1994年4月至今，在西安邮电大学从事教学与科研工作。现任西安邮电大学资深教授，西安电子科技大学兼职博士导师。《计算机辅助设计与图形学学报》编委。现在主要研究方向有软件和硬件的形式化验证、图形处理器和新型计算机体系结构。

先后为研究生和本科生开设《面向计算机科学的数理逻辑》、《数字电路逻辑设计》、《离散数学》、《超大规模集成电路设计》、《专业英语》等课程。主持完成了“硬件设计的形式化验证”、“基于时态逻辑的形式化综合”、“用于系统芯片验证的证明引擎研究”、“面向无线通信的自重构NOC研究” 等5项国家自然科学基金项目。主持完成了国家十五攻关项目“40G/s光纤通信系统与设备” 的“关键ASIC设计”课题，主持陕西省重大产业化项目和多项教学改革项目等。现主持国家自然科学基金重点项目“新一代图形处理器系统芯片体系结构和关键技术研究”。在《计算机学报学报》、《计算机辅助设计与图形学学报》等国内外学术期刊和国际会议发表论文100余篇。2003年被评为全国优秀教师，2004年评为陕西省教学名师。获得国家级和省部级科技进步奖以及教学成果8项。

欢迎广大师生前来参加。

特此通知。

学生工作部  校团委  计算机学院

                                   2015年5月7日