人员

教师

程京德    教学教授

电子邮箱:

chengjd_AT_sustc.edu.cn

办公室:

研究方向:

相关推论与强相关逻辑,科学发现的认识模型,认识程序设计及其系统,自动定理发现,持续计算系统与软系统总线结构,基于先期推论的预测反应系统,信息安全性工程自动化及智能化

教育背景

1986-1989,日本国立九州大学,工学博士

1984-1986,日本国立九州大学,工学硕士

1978-1982,清华大学,工学学士


工作经历

2018,南方科技大学教学教授

1999-2018,日本国立埼玉大学教授

1996-1999,日本国立九州大学教授

1991-1996,日本国立九州大学副教授

1989-1990,日本国立九州大学助教

1982-1989,清华大学助教


荣誉与奖项

2018,日本国立埼玉大学名誉教授

2012,南京市领军型科技创业人才

2007,ACM高级会员

1987,日本信息处理学会学术奖励奖

1982,清华大学1977级1982届优秀毕业生


代表文章

1. J. Cheng, "Relevant Reasoning and Strong Relevant Logic" (Invited Paper), Science & Technology Review, Vol. 34, No. 7, pp. 39-47, Science and Technology Review Publisheng, April 2016 (in Chinese).

2. J. Cheng, "Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning," in Y. Kiyoki, J. Henno, H. Jaakkola, and H. Kangassalo (Eds.), "Information Modelling and Knowledge Bases XVII," Frontiers in Artificial Intelligence and Applications, Vol. 136, pp. 310-320, IOS Press, February 2006.

3. J. Cheng,"Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems" (Invited Paper), in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference, Liege, Belgium, 11-16 August 2003," AIP Conference Proceedings, Vol. 718, pp. 362-375, The American Institute of Physics, August 2004. (Best Paper Award awarded at the 6th International Conference on Computing Anticipatory Systems)

4. J. Cheng,"A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery," in E. Kawaguchi, H. Kangassalo, H. Jaakkola, and I. A. Hamid (Eds.), "Information Modelling and Knowledge Bases XI," Frontiers in Artificial Intelligence and Applications, Vol. 61, pp. 136-159, IOS Press, February 2000.

5. J. Cheng, "Slicing Concurrent Programs - A Graph-Theoretical Approach," in P. A. Fritzson (Ed.), "Automated and Algorithmic Debugging," Lecture Notes in Computer Science, Vol. 749, pp. 223-240, Springer, November 1993.

Other personal publications and publications with co-authors can be found at http://www.aise.ics.saitama-u.ac.jp/~cheng/pub.html


其他信息