相关推论与强相关逻辑,科学发现的认识模型,认识程序设计及其系统,自动定理发现,持续计算系统与软系统总线结构,基于先期推论的预测反应系统,信息安全性工程自动化及智能化
教育背景
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届优秀毕业生
培训电话: