搜索结果: 1-3 共查到“人物 程序设计及其语言”相关记录3条 . 查询时间(4.421 秒)
郭江鸿，女，1965年4月生，副教授，硕士研究生导师。1987年于天津南开大学计算机科学与技术系本科毕业，2007年在哈尔滨工程大学取得工学硕士学位。硕士研究生指导方向为计算机应用技术专业，主要研究方向为网络及应用、程序理解、信息安全。先后参与了国家青年自然科学基金项目、国家自然科学基金项目和国家242信息安全计划项目的研发工作。作为项目的负责人和主要实施者先后参与黑龙江省的多项教学研究项目，获省...
中国科技技术大学计算机科学与技术学院博士生导师冯新宇教授
中国科技技术大学计算机科学与技术学院 博士生导师 冯新宇 教授 程序验证
2012/7/23
冯新宇，中国科技技术大学计算机科学与技术学院教授,博士生导师。主要研究方向：程序验证、并发理论、程序设计语言理论。 主要从事程序验证、并发理论、程序设计语言理论方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名国际会议和期刊上发表论文10余篇。曾担任APLAS’08和TASE’09的程序委员会成员。
陈意云，中国科技技术大学计算机科学与技术学院教授，博士生导师。主要研究方向：程序设计语言理论和实现技术、程序验证、软件安全等。获奖情况1、安徽省教学名师奖，2007年。2、陈意云、张 昱、郑启龙：《编译原理课程系列教材建设》，获2005年安徽省教学成果三等奖。