发布人：邹尚田                            发布时间：2008年05月13日11:30

    5月16日（星期五）下午3：00，应我院邀请,华东师范大学软件学院陈仪香教授

将在我院多功能厅作题为《可信计算展望》的学术报告，欢迎各位老师和同学参加！

陈仪香教授简介:

    陈仪香教授生于1961年3月，江苏邳州人。1995年毕业于四川大学，获理学博士学位。后进苏州大学数学博士后流动站从事计算语义模型研究。
    近年来，陈仪香教授兼任了中国工程学会模糊数学与模糊系统联合会常务理事、中国计算机学会多值逻辑与模糊逻辑专业委员会委员、上海市高校软件理论研究中心学术委员、美国{Mathematical Review}评论员、德国{Zentralblatt MATH}评论员、《模糊系统与数学》编委、《上海师范大学学报(自然科学版)》编委、1999Domain理论国际研讨会(ISDT99)程序委员会副主席。
    陈仪香教授长期从事数学以及计算机科学与技术的教学与研究工作。主讲计算机科学技术中的逻辑学、计算理论基础(形式语言与自动机)、计算机语言的形式语义学、Domain理论、范畴论、序理论等硕士研究生课程，以及离散数学、模糊数学、抽象代数学、拓扑学等本科生课程。
    研究领域为模糊系统理论以及计算机科学理论，主要研究方向包括模糊拓扑学、计算机语言形式语义学中的domain理论、不确定程序理论及其应用、概率进程演算语义模型。近10年来，比较系统地研究了计算机语言指称语义学的稳定domain理论，在{J．Comput．& Math．Appl．}、((J．Comput．Sci．&Tech．)、((FuzzySetsandSystems)、《数学学报》、《计算机学报》等国内外核心期刊上发表学术论文20余篇，如论文《Stone duality and representation of stabledomains》，《最弱前置谓词的稳定语义》等。陈仪香教授最近完成学术专著《形式语义学的稳定论域理论》，该专著获2001年度国家自然科学基金委员会研究成果专著出版基金资助，2003年6月由科学出版社出版。
    陈仪香博士，除了主办国际学术会议外，3年来还先后到德国、美国、加拿大、英国参加重要国际学术会议，并对美国的Case Western Reserve大学，德国的Darmstadt工业大学以及Siegen大学，英国的Birmingham大学进行学术访问和交流。2001年以访问教授身份对中国科学院数学与系统科学研究院进行了学术访问。
    陈仪香教授由于出色的教学和科研工作，获得了多项奖励和称号，如1992年首届江苏省普通高等学校优秀青年骨干教师称号，1995年首届徐州师范大学中青年优秀学术人才称号，1998年第二届上海师范大学优秀中青年学术骨干称号，1999年上海市"曙光学者"称号。
    陈仪香教授，作为项目负责人主持了国家自然科学基金项目两项、教育部高等学校骨干教师资助计划项目、教育部留学基金项目、上海市教育发展基金委员会曙光计划项目、上海市教委重点项目、以及上海市教委青年科学研究基金项目。

数学与信息科学学院
2008年5月13日

 关闭窗口