中国科学技术大学计算机科学与技术专业研究生导师介绍：冯新宇
单位：计算机科学与技术学院
地址：江苏省苏州市仁爱路166号
邮编：215123
电话：86-512-
个人主页：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考研：计算机科学与技术专业导师介绍之国防科技大学_考研_中公教育网
2017考研：计算机科学与技术专业导师介绍之国防科技大学
15:41:26 |
2017考研备考学习群：
下面是中公考研小编整理的国防科技大学计算机科学与技术专业导师情况，本篇文章主要介绍了陈火旺、卢锡城二位导师情况，了解导师的主要研究方向，攻读导师的相关学术论文有助于考生提高复习效率。
一、陈火旺
国防科技大学教授、博士生导师、中国工程院院士，数理逻辑学家、计算机专家。
20世纪70年代初主持全国Fortran编译程序会战，设计成功我国第一个Fortran编译系统；
年任银河-I巨型计算机软件总负责人，&银河-Ⅰ&获1984年中央军委国防科技成果特等奖；
1987年起主持面向对象集成化开发环境研制，建造了国内首例面向对象环境；
1989年起领导并主持非单调推理系统研究，把PROLOG从单调发展到非单调；
这两项目分别获1991年、1993年国防科工委科技进步奖一等奖。领导完成的英汉机器翻译系统，达到国际先进水平。
主要研究方向：计算机软件和人工智能等方面
二、卢锡城
国防科技大学教授、副校长，中国工程院院士、计算机系统结构和计算机网络专家、并行与分布处理国防科技重点实验室主任。
主持研制成功银河-Ⅲ并行巨型机系统，70年代参加了&远望一号&测量船中心计算机研制，设计了交换器系统；
80年代参加了银河-II研制，主持研制了高速网络软件系统;负责研制了银河仿真机系统软件；
2001年主持研制成功国家863重大项目&&中国高速信息示范网核心路由器；
承担了多项国家自然科学基金、863计划等国家科研项目。
目前正担任&虚拟计算环境聚合与协同机理研究&国家973项目首席科学家，负责该项目研究。
主要研究方向：计算机网络、大规模分布与并行处理
知己知彼，才能百战不殆。因此中公考研小编建议各位考生一定要对自己所考的科目以及目标院校进行深入了解后再制定计划复习。为此中公考研特为广大学子推出2017考研、、系列备考专题，针对每一个科目要点进行深入的指导分析，欢迎各位考生了解咨询。同时，中公考研一直为大家推出，足不出户就可以边听课边学习，为大家的考研梦想助力！
推荐阅读》》》
(责任编辑：马晓楠)
免责声明：本站所提供真题均来源于网友提供或网络搜集，由本站编辑整理，仅供个人研究、交流学习使用，不涉及商业盈利目的。如涉及版权问题，请联系本站管理员予以更改或删除。
本文相关热点文章推荐
更多文章推荐
更多文章推荐请问怎样能找到北京大学计算机应用技术专业的研究生导师的联系方式？_百度知道
请问怎样能找到北京大学计算机应用技术专业的研究生导师的联系方式？
我有更好的答案
其他类似问题
计算机应用技术专业的相关知识
换一换
回答问题，赢新手礼包
个人、企业类
违法有害信息,请在下方选择后提交
色情、暴力
我们会通过消息、邮箱等方式尽快将举报结果通知您。计算机科学与技术专业研究生招生单位
　　学科门类：08 工学一级
　　学科：0812 计算机科学与技术
　　专业名称：081200 计算机科学与技术(一级学科)
　　1、北京：
　　清华大学 北京航空航天大学 北方工业大学 中央民族大学 华北计算机系统工程研究所
　　装备学院 北京交通大学 北京科技大学 北京化工大学 中国地质大学（北京）
　　中国航天科工集团第二研究院 中国航天科工集团第三研究院 北京工业大学 北京邮电大学
　　中国石油大学（北京） 中国空间技术研究院（航天五院） 北京跟踪与通信技术研究所
　　北京理工大学 中国农业大学 北京联合大学 北京跟踪与通信技术研究所
　　2、天津：
　　南开大学 天津理工大学 天津大学 天津城建大学 天津工业大学 中国民航大学
　　3、河北：
　　河北大学 河北师范大学 河北工程大学 燕山大学 河北工业大学 军械工程学院 河北科技大学
　　4、山西
　　太原科技大学 中北大学 太原理工大学
　　5、内蒙古
　　内蒙古大学 内蒙古师范大学 内蒙古科技大
　　6、辽宁
　　沈阳化工大学 辽宁工业大学 大连交通大学 辽宁师范大学 大连海事大学 大连大学 沈阳建筑大学
　　7、吉林
　　长春工业大学 东北电力大学
　　8、黑龙江
　　哈尔滨理工大学 哈尔滨师范大学 黑龙江大学 东北石油大学 哈尔滨工业大学 哈尔滨工程大学
　　9、江苏
　　南京大学 河海大学 南京农业大学 苏州大学 江南大学
　　解放军理工大学 东南大学 江苏大学 南京航空航天大学
　　10、上海
　　同济大学 上海海洋大学 上海交通大学 华东师范大学 华东理工大学 上海大学
　　东华大学 南京信息工程大学
　　11、浙江
　　浙江大学 浙江师范大学 杭州电子科技大学 浙江工商大学 浙江工业大学 浙江理工大学
　　12、安徽：
　　中国科学技术大学 安徽工业大学 安徽理工大学 中国人民解放军陆军军官学院
　　13、福建：
　　厦门大学
　　14、江西：
　　景德镇陶瓷学院 南昌大学 东华理工大学 江西理工大学 江西农业大学 江西师范大学
　　江西财经大学
　　15、山东
　　海军航空工程学院 中国石油大学（华东） 山东大学 青岛科技大学 济南大学
　　青岛理工大学 山东理工大学 青岛大学
　　16、河南
　　解放军信息工程大学 郑州大学 河南理工大学 郑州轻工业学院 河南工业大学
　　17、湖北
　　武汉科技大学 华中科技大学 长江大学 中国地质大学（武汉） 武汉理工大学 中南财经政法大学
　　18、湖南
　　湘潭大学 湖南科技大学 湖南大学 中南大学 长沙理工大学 南华大学 国防科学技术大学
　　19、广东
　　中山大学 华南理工大学 华南师范大学 深圳大学 广东工业大学
　　20、广西
　　桂林电子科技大学 广西师范大学 桂林理工大学
　　21、海南
　　海南大学
　　22、重庆
　　重庆大学 重庆邮电大学&&&&&&&&重庆交通大学 后勤工程学院
　　23、四川
　　西南交通大学 西南科技大学
　　24、贵州
　　贵州师范大学
　　25、陕西
　　中国航空研究院631所&&中国航天时代电子公司771所&& &第二炮兵工程大学&&& 武警工程大学
　　26、甘肃
　　西北师范大学
　　27、宁夏
　　宁夏大学
备战2019年考研 你需要做这些！
中国教育在线考研订阅号
研究生留学qq群:
版权所有 中国教育在线
CERNET Corporation
主讲：吴_ 陈成业 程黄维
主讲：爱情课堂
扩展阅读　　　
免责声明：
① 凡本站注明“稿件来源：中国教育在线”的所有文字、图片和音视频稿件，版权均属本网所有，任何媒体、网站或个人未经本网协议授权不得转载、链接、转贴或以其他方式复制发表。已经本站协议授权的媒体、网站，在下载使用时必须注明“稿件来源：中国教育在线”，违者本站将依法追究责任。
② 本站注明稿件来源为其他媒体的文/图等稿件均为转载稿，本站转载出于非商业性的教育和科研之目的，并不意味着赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题，请作者在两周内速来电或来函联系。
北京大学医学部
中国人民大学
北京理工大学
哈尔滨工业大学
北京师范大学
西安交通大学
中国科学技术大学
华南理工大学
西北工业大学
电子科技大学
北京航空航天大学
大连理工大学
上海交通大学
华中科技大学
中国农业大学
&&招生专业:
&&所在院校:
　各地热招：　　　　　　
记录教育点滴&&图研考研
专业人气榜
&&排名　专业名称　　　　　　 人气　　 开设院校
高校人气榜
&&排名　学校名称　　　　　　人气　　　相关推荐
| 京ICP备号 |
CERNET Corporation}