上海师范大学导师简介[陈仪香教授]

   陈仪香教授生于1961年3月，江苏邳州人，分别于1982年，1988年，1995年于徐州师范大学，陕西师范大学，四川大学获理学学士、理学硕士和理学博士学位。博士毕业后，在苏州大学数学博士后流动站做博士后从事计算语义模型研究。参加工作后，先后任教于徐州师范大学和上海师范大学，现任上海师范大学数理信息学院教授，科技处处长，博士研究生导师，研究方向为计算理论与计算语义模型。课
　　近年来，陈仪香教授兼任了中国工程学会模糊数学与模糊系统联合会常务理事、中国计算机学会多值逻辑与模糊逻辑专业委员会委员、上海市高校软件理论研究中心学术委员、美国《MathematicalReview》评论员、德国《MathematicalAbstract》评论员、《模糊系统与数学》编委、《上海师范大学学报（自然科学版）》编委、1999年在上海师范大学召开的Domain理论国际研讨会（ISDT99）程序委员会副主席、2000年在上海交通大学召开的计算机科学基础理论研讨会（BASICS00）组织委员会副主席、2001在四川大学召开的2001年Domain理论国际学术研讨会(ISDT01)组织委员会副主席、2003年在清华大学召开的模糊信息处理理论及应用国际会议（FIP03）程序委员会委员、2004年在美国奥兰多召开的第八届系统、控制与信息世界会议模糊信息进程分会主席。彰武
　　陈仪香教授长期从事数学以及计算机科学与技术的教学与研究工作。主讲计算机科学技术中的逻辑学、计算理论基础（形式语言与自动机）、计算机语言的形式语义学、人工智能、Domain理论、范畴论、序理论等研究生课程。辅导
　　研究领域为模糊系统理论以及计算机科学理论，主要研究方向包括模糊系统、计算机语言形式语义学中的domain理论、不确定程序理论及其应用、概率进程演算语义模型。近5年来，在国内外核心期刊上发表学术论文20余篇，比较系统地研究了计算机语言指称语义学的稳定domain理论，如论文《Stonedualityandrepresentationofstabledomains》等。陈仪香教授融合最新研究成果，完成国家自然科学基金学术专著《形式语义学的稳定论域理论》，该专著获2001年度国家自然科学基金委员会研究成果专著出版基金资助，2003年6月由科学出版社出版。业
　　陈仪香博士，除了主办国际学术会议外，三年来还先后到德国、美国、加拿大、英国参加学术会议，并对美国的CaseWesternReserve大学，德国的Darmstadt工业大学以及Siegen大学，英国的Birmingham大学进行学术访问。33626038
　　陈仪香教授由于出色的教学和科研工作，历年来获得了多项奖励，如1992年获首届江苏省普通高等学校优秀青年骨干教师称号，1999年获上海市“曙光学者”称号。正门对面
　　陈仪香教授，除了参加多项国家自然科学基金、教育部高等学校数学研究与高等人才培养中心、以及上海市科学技术发展基金等科研项目外，主持了国家自然科学基金项目两项（完成一项，在研一项），英国工程与自然科学研究委员会项目（EPSRC），教育部高等学校骨干教师资助计划项目，上海市教育发展基金委员会的曙光计划项目，上海市教委重点项目，以及上海市教委青年科学研究基金项目。课
　　Email:ychen@shtu.edu.cn33626037