1947年出生，1970年毕业干南京大学数学系，85年12月-88年4月在美国Cornell大学计算机科学系进修访问，95年6月-96年4月在美国Santa Clara大学作客座研究员, 92年破格晋升为教授并开始享受国务院特殊津贴，同年评定为江西省高校中青年学科带头人, 96年获得国家级有突出贡献中青年专家称号, 97年批准为江西省计算机和信息领域首位跨世纪学术和技术带头人培养对象。2000年评聘为中科院软件所博士生兼职导师。2003年荣获省高校"教学名师奖"。现任计算机信息工程学院院长、江西省高性能计算技术重点实验室和江西省高校软件科技中心主任、教育部教师教育信息化专家委员成员、中国计算机学会理事、中国人工智能学会理事。先后主持承担国?quot;863"计划、国家军用共性软件、国家重大基础研究（973计划）前期研究专项和国际合作项目各1项、国家自然科学基金项目5项、省部级项目10项，提出了循环不变式的新定义和新的开发策略、统一的算法设计方法、泛型算法设计语言Rad1、泛型抽象程序设计语言Ap1a。以这些新概念和新方法为基础，研制成功支持软件形式化和自动化开发的PAR方法和PAR平台, 其前期研究成果曾获95年江西省科技进步一等奖。在国际国内著名学术刊物和学术会议发表论文90余篇，其中有20余篇被SCI和EI等三大检索收录。