|
| |
应明生
|
|
应明生教授现任研究部学术委员会主任
|
应明生 1964年5月出生；1981年7月毕业于江西师范学院抚州分院数学科。曾在抚州师范专科学校数学系、江西师范大学数学系、南京航空航天大学计算机科学与工程系任教。1992年在江西师范大学评聘为教授，1994年被人事部批准为中青年有突出贡献专家，获第4届中国青年科技奖，1997年获国家杰出青年科学基金，入选教育部跨世纪优秀人才培养计划。先后在法国巴黎第六(居里夫妇)大学、意大利Salerno大学与Napoli大学、德国慕尼黑大学与Mannheim大学、芬兰Turku计算机科学中心作访问研究。现为清华大学计算机科学与技术系智能技术与系统国家重点实验室教授、博士生导师、教育部长江学者奖励计划特聘教授、国际模糊系统学会（IFSA）副主席、中国系统工程学会模糊系统与数学专业委员会理事长、《Fuzzy Sets and Systems》、《Journal of Computer Science and Technology》、《自动化学报》编委。
目前主要从事形式化方法、量子计算与量子信息、计算机科学与人工智能中的逻辑学、模糊逻辑等方面的科研工作。在Springer出版社出版专著Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs、在国际刊物(如Acta Informatica、Artificial Intelligence、IEEE Transactions、Journal of Symbolic Logic、Theoretical Computer Science)发表一系列论文。
|
|
|
|
.jpg){kind=small}
