陈仪香
软件工程教授、博士生导师
副院长、主任
软件学院

华东师范大学软件学院

联系电话：86-21-62235380

办公时间：周一至周五
传真：86-21-62235255

主页网址：
办公地点：华东师范大学中山校区数学馆303

电子邮箱：yxchen@sei.ecnu.edu.cn
通讯地址：上海市普陀区中山北路3663号，华东师范大学软件学院


研究方向
1995年毕业于四川大学基础数学专业‚获理学博士学位。曾任上海师范大学数学学科教授、计算数学专业博士生导师‚并以高级访问学者身份国家公派到英国伯明翰大学留学、访问。现任华东师范大学计算机学科教授、华东师范大学软件学院副院长、上海市高可信计算重点实验室副主任、教育部软硬件协同设计与应用工程中心主任。
研究兴趣：物联网、云计算、实时软件系统、程序语义模型与可信软件、知识科学与知识工程。在程序设计语言的语义模型、软件可信度量模型等方面取得了系统的研究成果‚在《TheoreticalComputerScience》、《InformationScience》以及《LectureNotesinComputerScience》等国内外重要学术期刊上发表学术论文40余篇‚出版国家自然科学基金研究专著《形式语义的稳定论域理论》（数理科学系列‚2003年6月‚科学出版社）‚合作编辑出版国际学术会议论文集3部。
先后主持国家级与省部级科研项目15项‚包括国家高技术研究发展计划（863计划）项目、国家可信软件基础研究重大计划项目、国家自然科学基金面上项目、教育部高校博士学科点专项科研基金项目、上海市科委项目登山行动计划项目等项目。作为主要组织者和学术骨干参加了核高基项目《汽车电子系统可靠性分析和验证方法研究》。目前主持国家基础研究计划（973）物联网方面的课题《软件物化理论研究》。
《FrontiersofComputerScienceinChina》杂志的理论计算科学领域编委。3个国际系列学术会议（ISDT‚FICS‚QL&QS）合作创始者。1995年获首届江苏省普通高校中青年学术骨干称号‚1999年获上海市曙光学者称号。
社会兼职
中国系统工程学会模糊系统与模糊数学专业委员会常务委员
中国计算机学会离散数学专业委员会常务委员
中国计算机学会理论计算机专业委员会委员
中国计算机学会多值逻辑与模糊逻辑专业委员会委员
中国电子学会云计算专业委员会委员
上海浦东物联网协会副会长

FrontiersofComputerScienceinChina编委会委员
模糊系统与数学杂志编委会理论计算机科学执行委员
Scientific&PracticalComputingJournal(PartA）StaffReviewer


学术成果
学术专著：陈仪香‚形式语义学的稳定论域理论‚国家自然科学基金研究专著‚科学出版社出版‚2003年6月。
学术论文：
[14].YixiangChen,STeC:alocation-triggedSpecificationlanguageforRealtimeSystems,TheProceedingof15thInternationalSymposiumonObject/Component/ServiceOrientedRealTimeDistributedComputingWorkshops,Page1-5,March2012.
[13]YanwenChen,YixiangChen,andEricMadelaine,TimedpNets:Aformalcommunication
behaviormodelforreal-timeCPSsystem,publishedintheworkshopofTrustworthy
Cyber-PhysicalSystemsinconjunctionwithCONCUR2012,September3,2012,Newcastle,UK.
[12]YanwenChen,YixiangChen,TaskAssignmentandon-linereal-timeschedulinginCyberPhysicalSystem,
JournalofControlEngineeringandAppliedInformaticsVol.13,No.3,pp.41-50,2011.

[11]YanwenChen‚FabriceHuetandYixiangChen‚ImplementationandOptimizationofRDFQueryUsingHADOOP‚
FirstInternationalConferenceonCloudComputingandServicesScience(CLOSER2011)‚May7-9‚2011‚
Noordwijkerhout‚TheNetherlands.
[10]HongweiTao‚YixiangChen‚ANewMetricModelforTrustworthinessofSoftwares‚TelecommunicationSystems‚2011‚(Accepted).
[9]YixiangChen‚TianmingBu‚MinZhangandHongZhu.MeasurementofTrustTransitivityinTrustworthyNetworks‚JournalofEmergingTechnologiesinWebIntelligence2010--Vol2(4):319-325.
[8]HenyangWu‚YixiangChen‚ADualityTheoremforQuantitativeSemantics‚ElectronicNotesinTheoreticalComputerScience‚2010--Vol257:87-97.
[7]YixiangChen‚XinxingWu‚SuccessMeasurementofWebServiceswithBPEL‚SOSE2010:86-90‚IEEEComputerSociety.
[6]HongqweiTao‚YixiangChen‚AnotherMetricModelforTrustworthinessofSoftwaresBasedonPartition‚AISC2010--Vol82:695-705.
[5]Yixiangchen‚MinZhang‚HongZhu‚TianmingBu‚AverageTransitiveDegreesforTrustworthyNetwork.LectureNotesinComputerScience‚Vol.5589:682-689‚2009
[4]Yi-XiangChen&Heng-YangWu‚DomainSemanticsofPossibility‚《InformationScience》‚178：2661-2679（2008）‚http://dx.doi.org/10.1016/j.ins.2008.01.016
[3]Yi-XiangChen&Heng-YangWu‚SemanticsofSub-probabilityPrograms‚《FrontierofComputerScienceinChina》‚2(2):29-38‚2008.http://dx.doi.org/10.1007/s11704-008-0004-0
[2]ChenYi-Xiang‚AchimJung‚ALogicalApproachtoStableDomains.《TheoreticalComputerScience》‚368（2006）124-148.
[1]ChenYi-Xiang‚ZhangGuo-Qiang‚MaximalityandtotalityofStableFunctionsinStableBifiniteDomains‚《AnInternationalJournalofComputersandMathematicswithApplications》‚51(2006)1011-1020.