以第4完成人完成“面向人工智能语言 Lisp 的 LISP-M1 系统”，列入中国计算机 50 年大事记（本校唯一一项记载）。 提出了面向粒的编程思想，并在ACM OOPSLA'04（第 19届）做 45 分钟报告，成为第一个在该顶级会议发文的大陆学者。随后经过多年研究完成了GranuleJ语言设计及实现（已开源）。     发表学术论文100余篇，其中SCI检索6篇，EI检索70篇。合计引用超过600次。     科研成果获得教育部科技进步二等奖1项，校科技成果奖3项。