符鸿飞 特别副研究员
主页：[点击这里]
办公室电话：
办公地点：软件大楼1408-1室
电子邮件：fuhf@cs.sjtu.edu.cn
实验室： BASICS实验室
研究兴趣
教育背景
工作经验
教授课程
论文发表
项目资助
获奖信息
学术服务
模型检测、程序验证
2003 - 2007 上海交通大学计算机科学与技术 本科
2007 - 2010 上海交通大学计算机软件与理论 硕士
2010 - 2014 德国亚琛工业大学计算机科学系 博士
目前教授研究生程序语言理论课程
HSCC 2013 最佳学生论文奖
为理论计算机科学国际著名学术期刊和会议Information and Computation, ICALP等审稿20余次。
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
上海交通大学计算机科学与工程系导师教师师资介绍简介-符鸿飞特别副研究员
本站小编 Free考研考试/2021-01-02
相关话题/计算机科学 上海交通大学
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19上海交通大学计算机科学与工程系导师教师师资介绍简介-陈贵海教授
陈贵海教授主页：办公室电话：+86-21-3420-5401办公地点：SEIEE-3-422电子邮件：gchen@cs.sjtu.edu.cn实验室：先进网络实验室研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务 ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-张驰豪特别副研究员
张驰豪特别副研究员主页：[点击这里]办公室电话：办公地点：电子邮件：chihao@cs.sjtu.edu.cn实验室：BASICS实验室研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务我的研究兴趣是理论计算机科学。具体来说，最近的工作主要是关于计数、取样问题的近似算法和复杂性。博士： ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-管海兵教授
管海兵教授主页：[点击这里]办公室电话：+86-21-3420-7082办公地点：SEIEE-3-420电子邮件：hbguan@cs.sjtu.edu.cn实验室：省部共建国家重点实验室培育基地、上海市可扩展计算与系统重点实验室研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务virt ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-高晓沨教授
高晓沨教授主页：[点击这里]办公室电话：**办公地点：SEIEE-3-543电子邮件：gao-xf@cs.sjtu.edu.cn实验室：数据通讯与数据工程实验室、先进网络实验室研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务数据工程、网络优化2004.南开大学.信息与计算科学.学士2 ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-李颉教授
李颉教授主页：[点击这里]办公室电话：+2134208652办公地点：SEIEE3-428电子邮件：lijie@cs.sjtu.edu.cn实验室：智能大数据系统实验室研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务大数据人工智能、区块链，物联网、边缘计算、网络安全、计算机体系结构。 ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-贾维嘉教授
贾维嘉教授主页：[点击这里]办公室电话：**办公地点：电院3号楼404(贾维嘉，IEEEFellow欢迎报考2020/21届研究生！）电子邮件：jia-wj@cs.sjtu.edu.cn实验室：研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务人工智能，NLP,信息提取，边缘计算，无线 ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-过敏意教授
过敏意教授主页：[点击这里]办公室电话：+86-21-3420-4438办公地点：SEIEE-3-415电子邮件：guo-my@cs.sjtu.edu.cn实验室：新兴并行计算研究中心研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务Parallelanddistributedproc ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-吴晨涛教授
吴晨涛教授主页：[点击这里]办公室电话：+86-办公地点：SEIEE-3-513电子邮件：wuct@cs.sjtu.edu.cn实验室：大数据网络与存储实验室研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务主要集中在云存储系统、大数据存储系统方向：（1）存储阵列、纠删码（2）多级缓存 ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-唐飞龙教授
唐飞龙教授主页：[点击这里]办公室电话：办公地点：电信学院3号楼430电子邮件：tang-fl@cs.sjtu.edu.cn实验室：研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务人机融合与群智认知，大数据分析，文本分类，云计算，天地一体化网络与天地数据融合。注：现招收2021级硕士 ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02上海交通大学计算机科学与工程系导师教师师资介绍简介-陈全特别研究员
陈全特别研究员主页：[点击这里]办公室电话：办公地点：电信群楼3号楼522电子邮件：chen-quan@cs.sjtu.edu.cn实验室：新兴并行计算研究中心研究兴趣教育背景工作经验教授课程论文发表项目资助获奖信息学术服务计算机系统，并行分布式计算，数据中心，任务调度2014.10～2016.04 ...上海交通大学师资导师 本站小编 Free考研考试 2021-01-02
