上海交通大学软件学院导师介绍:陈雨亭
导师姓名 陈雨亭 导师性别 男
职务职称 讲师.
所在院系 软件学院
所属学科 软件工程
研究方向 程序分析与测试 形式化方法
联系电话 15801755532
电子邮箱 chenyt@sjtu.edu.cn
个人简介
陈雨亭:男,博士,讲师,就职于上海交通大学电子信息与电气工程学院。他于2007年3月在日本法政大学情报科学研究科博士毕业,2003年及2000年于南京大学计算机科学与技术系分别获得硕士、学士学位。2007.4-2008.2曾在美国德州大学达拉斯分校计算机系担任访问学者,并从事美国宇航局NASA的软件安全性测试项目的研究。申请人的主要研究方向是软件工程,特别是软件测试、软件分析、软件审阅、软件安全及形式化工程方法,并曾在国际会议与期刊上发表过20多篇论文。申请人也为多个国际会议与重要期刊(如IEEE Transactions on Reliability、软件学报等)从事论文评审工作,并曾担任ICFEM、SSIRI、APSEC、QSIC等多个国际会议的程序委员会委员。此外,申请人主持了自然科学基金项目“基于模拟执行的软件功能规约的安全性验证”,并曾作为主要参与人参加了多个研究课题,包括国家863重点项目“高可信软件生产工具及集成环境”二期子课题“Trustie技术在航天控制软件生产过程中的可信评估、应用和演化研究”、自然科学基金项目“面向方面软件的变化影响分析理论及其应用”、日本国立情报学研究所的合作研究项目“双向模型转换技术的研究”等。
【上海交通大学软件学院导师介绍:陈雨亭】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】陕西科技大学奖学金评定
- 【导师介绍】西安机电信息技术研究所研究生奖助情况
- 【导师介绍】西安精密机械研究所研究生学费奖助政策
- 【导师介绍】西安科技大学2014级硕士研究生奖励和助学政策
- 【导师介绍】中国航空研究院603所研究生奖贷学金
- 【导师介绍】2010年西安外国语大学硕士研究生困难补助实施办法
- 【导师介绍】2014年第四军医大学研究生学费及奖助学金政策
- 【导师介绍】2014年西安建筑科技大学研究生学费及奖助学金政策
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比