
陕西普通高等学校“教学名师”韩俊刚教授,男,1966年毕业于吉林大学数学系,1981年在中国科学院计算技术研究所获硕士学位。1981-1992年在西安电子科技大学任教,1994年至今任西安邮电学院计算机系主任。1986-1988年在加拿大卡尔加里大学做访问学者,1999年在德国萨尔洲大学做高级访问学者。1992年被聘为西安电子科技大学兼职教授。目前兼职包括中国计算机学会计算机辅助设计和图形学专业委员会委员、陕西省和西安市计算机学会理事,陕西省电子学会科普和继续教育专业委员会主任等。1997年陕西省有突出贡献的留学归国人员,1998年享受政府特殊津贴,1999年陕西省优秀教师、2001年全国优秀教师。
主要的研究方向:有集成电路设计验证,形式化方法等。科研成果有(1)“硬件设计的形式化验证”国家自然科学基金项目1989-1992年在西安电子科技大学完成。(2)“XYZ系统在VLSI设计等领域的应用”国家科学基金重点项目的子项目,1992-1994年同中科院软件所唐稚松院士合作完成。(3)“SDH 2M b/s异步映射和去同步芯片设计”邮电部科技发展项目,1997年完成,1999年获得信息产业部科技进步二等奖。(4)“基于时态逻辑的形式化综合”国家自然科学基金项目,1999年完成,2000年获西安市科技进步三等奖。(5)“测量仪器中的典型ASIC电路设计和相关技术研究,(西安电子科技大学,电子工业部项目),2000年西安市科技进步三等奖。(6)“SDH用ASIC研究”,2001年陕西省科技进步二等奖
著作有《数字硬件的形式化验证》、《接入网和V5接口》、《Common LISP程序设计》等。目前承担的主要科研项目有国家“十五”重大科技攻关项目的课题“40G光纤通信系统关键ASIC设计”、国家自然科学基金重大研究计划项目“定理证明引擎在SOC验证中的应用研究”,“863超大规模集成电路设专项《高速宽带交换芯片》”等。

陕西普通高等学校“教学名师”赵亚婉教授,计算机科学与技术系系统结构教研室主任;兼任全国计算机教育研究会第二、第三届理事会理事,邮电高校计算机专业教学指导委员会委员,邮电高校计算机辅助教学计划协作组成员,陕西省知识界协会常务理事。
赵亚婉教授一直从事计算机专业的教学和科研工作,除担任本科教学外,还指导研究生和中青年教师。主要为本科生讲授“接口与通信”、“微机原理及应用”、“微机接口技术”等专业基础课。她讲授的“微机原理及应用”和“微机接口技术”被评为院级优秀课程。
赵亚婉教授历年来先后主持和承担了多项省部级及院级重点项目以及863基金项目和企业合作的项目等。先后完成的项目有:“TMN规划标准的预研”(原邮电部项目),“基于集团化管理的分布式与柔性MPRII的研究”(863基金项目),“基于Internet的多媒体远程教学系统的研究与实现”(原邮电部留学回国人员基金项目),“陕西省分布式多媒体远程教学系统研究”(陕西省项目)等,其中“多媒体CAI系统”获陕西省1997年度普通高校优秀教学成果二等奖,目前正在进行的项目有:“网络入侵行为的智能分析方法研究”(陕西省自然科学基金研究项目);“嵌入式硬件防火墙的开发”(与企业合作项目)。
赵亚婉教授除了担任本科、研究生教育外,历年来在国内外学术期刊上发表论文数10篇,其中题为“Using HCPN As a Data Model for Interactive Multimedia Applications”的文章于1998年3月赴澳大利亚,在国际会议ICCIMA上宣读。“关于培养学生能力的教学实践”获院首届教学方法研讨会优秀论文一等奖。出版的论著有:《程序设计语言》和《微机系统接口与应用技术》,后者被列为邮电高校部级重点建设教材。