冯新宇
单位：计算机科学与技术学院
地址：江苏省苏州市仁爱路166号
邮编：215123
电话：86-512-87161319
个人主页：http://staff.ustc.edu.cn/~xyfeng/
个人简历Personalresume
冯新宇，男，1978年生；教授，博士生导师。分别于1999年和2002年在
南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2001年7
月至2002年1月于香港理工大学担任研究助理。2007年9月至2010年5月于
ToyotaTechnologicalInstituteatChicago(TTIC)任研究助理教授
（ResearchAssistantProfessor）。2010年5月加入中国科学技术大学
计算机科学与技术学院任教授。主要从事程序验证、并发理论、程序设
计语言理论方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名国
际会议和期刊上发表论文10余篇。担任APLAS'11,LOLA'11,TASE'09和
APLAS'08的程序委员会成员。
研究方向Researchdirection
1、程序设计语言
2、系统软件
3、形式化程序验证
中国科学技术大学计算机科学与技术专业研究生导师介绍：冯新宇
本站小编 免费考研网/2017-07-23
相关话题/程序 计算机科学与技术学院 博士学位 香港 硕士学位
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19哈尔滨工程大学计算机科学与技术学院硕士生导师介绍：李静梅
姓名：李静梅专业：计算机应用技术计算机系统结构方向：嵌入式系统人工智能与知识工程网络与信息安全E-mail：lijingmei@hrbeu.edu.cn嵌入式系统研究室网址：http://jsj.hrbeu.edu.cn女，工学博士，教授，硕士生导师，CCF高级会员。硕士指导专业是计算机应用技术和计 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院硕士生导师介绍：张志强
姓名：张志强专业：计算机软件与理论方向：数据库、Web信息检索、软件工程等E-mail：zqzhang@hrbeu.edu.cn智能信息处理链接http://rciip.hrbeu.edu.cn男，1973年1月生，教授。2003年毕业于清华大学计算机系计算机软件与理论专业，并获得工学博士学位；20 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院硕士生导师介绍：李香
姓名：李香专业：计算机应用技术计算机系统结构方向：可信计算、移动计算、容错计算、信息隐藏、图像处理E-mail：leexiang@hrbeu.edu.cn女，1975年6月生，副教授，硕士研究生导师。分别于1998、2000、2006年毕业于哈尔滨工业大学计算机系统结构专业，获工学学士、硕士、博士学 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院硕士生导师介绍：曲立平
姓名：曲立平专业：计算机软件与理论方向：数据库与知识库、软件工程E-mail：quliping@hrbeu.edu.cn女，1973年12月出生，工学博士，副教授，硕士生导师。自1995年参加工作以来，一直从事计算机软件教学、科研工作，先后四次获校优秀主讲教师一等奖，获省科技进步二等奖一项。发表论文 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院硕士生导师介绍：姚爱红
姓名：姚爱红专业：计算机应用技术方向：嵌入式系统SoC设计及验证可重构计算系统E-mail：yaoaihong@hrbeu.edu.cn嵌入式系统研究室网址：http://jsj.hrbeu.edu.cn女，工学博士，副教授，硕士生导师，中国电子学会高级会员，ACM学会会员。硕士指导专业是计算机应用 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院硕士生导师介绍：董宇欣
姓名：董宇欣专业：计算机应用技术方向：数据库与知识库，智能信息处理E-mail：dongyuxin@hrbeu.edu.cn董宇欣，1974年11月生，副教授，硕士研究生导师，校优秀主讲教师，校双语示范课程负责人。任中国双语教学研究会会员、省计算机学会会员、国际双语资格认证(IBTQ)中心导师。曾赴 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院硕士生导师介绍：国林
姓名：国林专业：计算机应用技术邮箱|：guolin@hrbeu.edu.cn国林，1967年10月生，副教授，硕士生导师。哈尔滨船舶工程学院计算机系获工学学士学位，哈尔滨工程大学计算机应用技术专业获工学硕士学位。研究方向：多媒体网络、网络与信息安全。主持及参加科研项目十余项，获省部级科技进步奖三项； ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院博士生导师介绍：汪家祥
姓名：汪家祥专业：计算机科学与技术研究方向：计算机运行控制、计算机防攻击、数据防泄密E-mail：jamson@ciiss.org汪家祥，男，汉族，1972年出生，哈尔滨工程大学教授，博士生导师。中咨.哈工程.中天安泰－信息与系统安全联合实验室主任，中天安泰（北京）信息技术有限公司总经理。自2004 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院博士生导师介绍：曹万华
曹万华：男，1966年出生，中共党员，硕士学历，现任七○九研究所系统科研部主任，研究员，博士生导师；中国造船学会电子技术委员会委员。长期从事自动化指挥系统总体和系统软件的研究、设计和开发工作，他主持或参与研制了十多套系统设备，积累了较为丰富的工程研制经验；同时多次承担并完成了国防科技重点研究项目。获 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院博士生导师介绍：黄少滨
姓名：黄少滨专业：计算机应用技术方向：网络计算、分布式计算与仿真、计算机辅助设计等E-mail：huangshaobin@hrbeu.edu.cn男，1965年12月出生，工学博士，现任哈尔滨工程大学计算机科学与技术学院副院长、教授、博士生导师。1986年7月在吉林大学数学专业本科毕业，获理学学士学 ...导师信息 本站小编 免费考研网 2017-07-23哈尔滨工程大学计算机科学与技术学院博士生导师介绍：张菁
姓名：张菁专业：计算机应用技术，计算机软件与理论方向：虚拟现实，医学图像处理Email:zhangjing@hrbeu.edu.cn个人主页：http://vrmip.hrbeu.edu.cn/女，1965年2月出生，教授，博士生导师。研究内容包括舰船仿真，虚拟城市，三维游戏技术，人物动作跟踪与识别 ...导师信息 本站小编 免费考研网 2017-07-232018年南京航空航天大学计算机科学与技术学院推荐免试办法
为提高我校生源质量，探索选拔高层次创新人才的途径，实施优质生源工程，我校决定开展2018年综合考核选拔优秀应届本科毕业生攻读硕士研究生工作。现将有关事项安排如下：一、申请条件申请参加我校考核选拔的学生应当同时具备以下条件：1.具有良好的思想品德和政治素质，遵纪守法，在校期间未受过任何处分，身心健康， ...推荐免试 本站小编 免费考研网 2017-07-23安徽中医药大学2017年研究生复试报到程序、体检安排
一、缴费：缴费标准：复试费：每生60元，体检费：每生150元考生带银行卡到学校财务收费科(华佗楼131室)刷卡缴费，缴费时说明自己的编号、姓名。体检费由学校代收后统一转至附属医院，不再给考生开具体检费收据。为节约刷卡开票时间，建议校内考生能按班级派代表集中刷卡缴费。医学各专业考生：3月27日、28日 ...考研复试信息 本站小编 免费考研网 2017-07-23中国美术学院2017年攻读硕士学位研究生复试通知
一、复试报到时间及地点1、时间：2017年3月22日(周三)上午9：3016：30，逾期视为自动放弃。2、地点：杭州南山路218号中国美术学院招生办公室。二、报到流程安排第一步，考生凭有效身份证、初试准考证、本科毕业证书(应届本科生提供教务处证明或注册手续完备的学生证，退 ...考研复试信息 本站小编 免费考研网 2017-07-23浙江中医药大学护理学院2017年攻读硕士学位研究生第二轮复试通知
浙江中医药大学护理学院2017年攻读硕士学位研究生第二轮复试通知：点击下载查看 ...考研复试信息 本站小编 免费考研网 2017-07-23
