陈仪香

陈仪香，男，1961年3月生，理学博士，数学博士后，华东师范大学软件学院教授，博士生导师，上海市曙光学者。现任教育部软硬件协同设计与应用工程研究中心主任。中国计算机学会多值逻辑与模糊逻辑专委会副主任委员、中国电子学会云计算专家委员会委员、中国计算学会软件工程专委会委员，Frontiers of Computer Science杂志的理论计算科学领域编委。陈仪香教授是3个国际系列学术会议（ISDT，FICS，QL&QS）合作创始者。陈仪香教授主要研究领域为软件工程基础研究，包括软件形式化方法、程序设计语言语义理论、可信软件基础理论和混成系统。已主持多项包括863、973研究计划在内国家级科研项目和省市科研项目。完成并出版国家自然科学基金研究成果专著《形式语义的稳定论域理论》，与别人合作编辑出版国际学术会议论文集3部。陈仪香教授在《Theoretical Computer Science 》、《Information Science 》、《Fuzzy Sets and Systems》以及《Lecture Notes in Computer Science》等国内外重要学术期刊上发表学术论文70余篇。目前正在主持973计划《物联网基础理论和设计方法研究》项目中课题《软件物化理论研究 》（2011CB302802）。