个人简介
教育经历
1985.9 -- 1988.7南通市第十三中学 普通高中毕业
1992.9 -- 1995.3南京航空航天大学 硕士研究生毕业 工学硕士学位
1995.3 -- 1998.6南京航空航天大学 飞行器控制、制导与仿真 博士研究生毕业 工学博士学位
1988.9 -- 1992.7南京航空学院 计算机应用 大学本科毕业 工学学士学位
工作经历
南京大学计算机软件新技术国家重点实验室
科研项目
[1]Vakarelov开问题的研究
[2]非单调逻辑的若干模型论性质研究
[3]基于关系理论的多智能体系统中的意图结构理论
[4]面向智能体的信念变化研究
[5]带量化信息的异构规范与七应用的研究
[6]Agent信念变化的逻辑基础研究
[7]意图的两维结构理论及其应用研究
[8]B9902-802
[9]余代数框架下的近似行为等价理论与模态逻辑研究
[10]江苏省青蓝工程
[11]择优型非单调逻辑若干问题的研究
[12]占优结构的相似性与局部相似性研究