1978-1982年本科数学专业，获学士学位； - 1985-1987年在中科院软件所系计算机科学研究生，获硕士学位； - 1988－1991年在英国华威（Warwick）大学读计算机科学博士研究生，获博士学位。

‘- 1982-1985 年在国内从教； - 1988-1991 年在英国华威（Warwick）大学做项目研究员（Research Associate）； - 1991-1992年在丹麦技术大学做客座科学家； - 1992－1994年在英国华威（Warwick）大学做博士后研究员（Postdoctoral Research Fellow); - 1994－1995年在英国Leicester大学做计算机科学大学讲师； - 1992年－2013年在联合国大学国际软件技术研究所（UNU-IIST,澳门）做研究员和高级研究员； - 2013－2015年在英国伯明翰城市大学做软件工程讲席教授（终身职务）； - 2016年1月受聘西南大学计算机与信息科学学院教授。

长期专注于基于模型／规约转换的容错与实时软件系统的设计和验验证；用于系统可靠性规约和验证的概率时序演算；rCOS基于构件和面向对象软件系统的形式化模型驱动设计和验证方法。在领域主流学术期刊和国际会议上发表著作150多篇／卷，包括：ACM TOPLAS、Theoretical Computer Science、Science of Computer Programming、Formal Aspects of Computing、Computer Science and Technology、中国科学等国内外学术期刊，以及国际软件工程大会（ICSE)、国际形式化方法大会（FM)等国际会议。