删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

上海交通大学软件学院研究生导师介绍陈雨亭

上海交通大学 免费考研网/2012-12-17


导师介绍

导师姓名
陈雨亭
导师性别男
职务职称讲师.
所在院系软件学院
所属学科软件工程
研究方向程序分析与测试形式化方法
联系电话15801755532
电子邮箱chenyt@sjtu.edu.cn

个人简介

陈雨亭:男,博士,讲师,就职于上海交通大学电子信息与电气工程学院。他于2007年3月在日本法政大学情报科学研究科博士毕业,2003年及2000年于南京大学计算机科学与技术系分别获得硕士、学士学位。2007.4-2008.2曾在美国德州大学达拉斯分校计算机系担任访问学者,并从事美国宇航局NASA的软件安全性测试项目的研究。申请人的主要研究方向是软件工程,特别是软件测试、软件分析、软件审阅、软件安全及形式化工程方法,并曾在国际会议与期刊上发表过20多篇论文。申请人也为多个国际会议与重要期刊(如IEEETransactionsonReliability、软件学报等)从事论文评审工作,并曾担任ICFEM、SSIRI、APSEC、QSIC等多个国际会议的程序委员会委员。此外,申请人主持了自然科学基金项目“基于模拟执行的软件功能规约的安全性验证”,并曾作为主要参与人参加了多个研究课题,包括国家863重点项目“高可信软件生产工具及集成环境”二期子课题“Trustie技术在航天控制软件生产过程中的可信评估、应用和演化研究”、自然科学基金项目“面向方面软件的变化影响分析理论及其应用”、日本国立情报学研究所的合作研究项目“双向模型转换技术的研究”等。
代表性论著

[1]ShaoyingLiu,YutingChen,FumikoNagoya,JohnAMcDermid.FormalSpecification-BasedInspectionforVerificationofPrograms.AcceptedbyIEEETransactionsonSoftwareEngineering(TSE).14pages.(AcceptDate:24-Aug-2011)[2]YutingChen,ShaoyingLiu,andW.EricWong.AReviewApproachtoDetectingViolationsofConsistencybetweenSpecificationandProgramStructures.InternationalJournalofSoftwareEngineeringandKnowledgeEngineering(IJSEKE),18(8):1013-1042,December2008.[3]ShaoyingLiu,JohnA.McDermid,andYutingChen.ARigorousMethodforInspectionofModel-BasedFormalSpecifications.IEEETransactionsonReliability,59(4):667–684,December2010.[4]ShaoyingLiuandYutingChen.ARelation-BasedMethodCombiningFunctionalandStructuralTestingforTestCaseGeneration.JournalofSystemsandSoftware(JSS),81(2):234-248,February2008.
相关话题/软件 导师

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 上海交通大学软件学院研究生导师介绍邹恒明
    导师介绍导师姓名邹恒明导师性别男职务职称教授.所在院系软件学院所属学科软件工程研究方向安全存储技术高可靠软件设计联系电话021-3420-4934电子邮箱zou-hm@cs.sjtu.edu.cn个人简介美国密歇根大学计算机科学与工程博士中国科学院计算技术研究所计算机科学硕士华中理工大学(现华中科技 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍周憬宇
    导师介绍导师姓名周憬宇导师性别男职务职称讲师.所在院系软件学院所属学科软件工程研究方向信息检索集群系统联系电话021-34204125电子邮箱zhou-jy@cs.sjtu.edu.cn个人简介2006年9月,毕业于美国加州大学圣芭芭拉分校,获计算机科学博士学位,然后继续在圣芭芭拉分校从事博士后研究 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍赵建军
    导师介绍导师姓名赵建军导师性别男职务职称教授.所在院系软件学院所属学科软件工程研究方向软件工程、程序语言的设计与实现软件安全联系电话34204620电子邮箱zhao-jj@sjtu.edu.cn个人简介赵建军,男,1987年7月在清华大学计算机科学与技术系计算机应用专业获得学士学位。1993年4月到 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍杨旭波
    导师介绍导师姓名杨旭波导师性别男职务职称教授.所在院系软件学院所属学科软件工程研究方向虚拟现实与数字媒体计算机图形学联系电话021-34204142电子邮箱yangxubo@sjtu.edu.cn个人简介1998年博士毕业于浙江大学计算机辅助设计与图形学(CAD&CG)国家重点实验室。1998年至2 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍肖双九
    导师介绍导师姓名肖双九导师性别女职务职称副教授.所在院系软件学院所属学科软件工程研究方向计算机图形学新型人机交互技术联系电话021-34204131电子邮箱xiaosj@sjtu.edu.cn个人简介代表性论著 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍吴刚
    导师介绍导师姓名吴刚导师性别男职务职称副教授.所在院系软件学院所属学科软件工程研究方向分布计算普适计算联系电话34204046/13636378962电子邮箱wugang@cs.sjtu.edu.cn个人简介1995年7月于国防科技大学获计算机专业学士学位;2000年12月于国防科技大学获计算机科学 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍王赓
    导师介绍导师姓名王赓导师性别男职务职称讲师.所在院系软件学院所属学科软件工程研究方向RFID与物联网工程嵌入式智能系统联系电话021-34204621电子邮箱wgeng@sjtu.edu.cn个人简介2007年12月博士毕业于上海交通大学计算机科学与工程系,获计算机应用专业博士学位,进入上海交通大学 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍王东
    导师介绍导师姓名王东导师性别男职务职称副教授.所在院系软件学院所属学科软件工程研究方向RFID与物联网,普适计算物流信息技术与系统,电子商务联系电话18621365573,021-34205077电子邮箱wangdong@cs.sjtu.edu.cn个人简介1969年10月生,上海交通大学软件学院博 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍唐新怀
    导师介绍导师姓名唐新怀导师性别男职务职称副研究员.所在院系软件学院所属学科软件工程研究方向分布计算技术中间件技术联系电话3420611462820176电子邮箱xinhuait@sjtu.edu.cn个人简介主意从事分布计算,移动计算,中间件技术和面向服务的计算等方面的研究代表性论著 ...
    上海交通大学 免费考研网 2012-12-17
  • 上海交通大学软件学院研究生导师介绍唐飞龙
    导师介绍导师姓名唐飞龙导师性别男职务职称副教授.所在院系软件学院所属学科软件工程研究方向并行与分布式计算无线传感网联系电话13916119538电子邮箱tang-fl@cs.sjtu.edu.cn个人简介唐飞龙,博士,副教授,男,汉族。2005年于上海交通大学获工学博士学位。自2005年6月留校任教 ...
    上海交通大学 免费考研网 2012-12-17