上海交通大学软件学院导师：陈雨亭

发布时间：2021-10-09 编辑：考研派小莉推荐访问：

上海交通大学软件学院导师：陈雨亭内容如下，更多考研资讯请关注我们网站的更新！敬请收藏本站，或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取，有各种考研问题，也可直接加我们网站上的研究生学姐微信，全程免费答疑，助各位考研一臂之力，争取早日考上理想中的研究生院校。）

+上海交通大学研究生
微信,为你答疑,送资源

上海交通大学安泰经济与管理学院导师：余明阳上海交通大学安泰经济与管理学院导师：徐丽群上海交通大学安泰经济与管理学院导师：徐飞上海交通大学安泰经济与管理学院导师：陈宪上海交通大学安泰经济与管理学院导师：陈宏民上海交通大学安泰经济与管理学院导师：陈飞翔 95%的同学还阅读了： 上海交通大学研究生招生目录上海交通大学研究生分数线上海交通大学王牌专业排名上海交通大学考研难吗上海交通大学考研调剂信息上海交通大学研究生导师名单上海交通大学研究生学费上海交通大学研究生奖学金

上海交通大学软件学院导师：陈雨亭正文

　　导师姓名陈雨亭导师性别男
　　职务职称讲师.
　　所在院系软件学院
　　所属学科软件工程
　　研究方向程序分析与测试形式化方法
　　联系电话 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技术在航天控制软件生产过程中的可信评估、应用和演化研究”、自然科学基金项目“面向方面软件的变化影响分析理论及其应用”、日本国立情报学研究所的合作研究项目“双向模型转换技术的研究”等。

以上老师的信息来源于学校网站，如有更新或错误，请联系我们进行更新或删除，联系方式

添加上海交通大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[上海交通大学考研分数线、上海交通大学报录比、上海交通大学考研群、上海交通大学学姐微信、上海交通大学考研真题、上海交通大学专业目录、上海交通大学排名、上海交通大学保研、上海交通大学公众号、上海交通大学研究生招生）]即可在手机上查看相对应上海交通大学考研信息或资源。