中国科学技术大学计算机科学与技术专业研究生导师介绍:冯新宇

本站小编 免费考研网/2017-07-23

冯新宇
单位:计算机科学与技术学院
地址:江苏省苏州市仁爱路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、形式化程序验证

相关话题/程序 计算机科学与技术学院 博士学位 香港 硕士学位

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后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-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
  • 河北经贸大学2017级硕士学位研究生新生须知
    2017级硕士学位研究生新生须知亲爱的考生,你好!祝贺你考入我校继续学习深造!新生录取通知书(含调档函)预计在6月中旬发放。具体发放安排请及时关注网站后续消息。现将有关事项通知如下,请提前做好准备!一、新生报到(一)新生凭《研究生录取通知书》在规定日期报到(9:00-16:00),并办理入学手续。报 ...
    本站小编 免费考研网 2017-07-23