1988年2月获北京师范大学理学硕士学位。1993年9月至1996年7月在北京师范大学学习攻读博士学位，1996年获该校理学博士学位。1997年7月?2000年7月，在湖南师范大学计算机系工作并任副教授，期间于1998年1月初应美国伯克利数学研究所的邀请，去美国伯克利数学研究所参加国际模型论研讨会和春季活动。2000年7月至现在，在上海大学计算机学院工作，已有7名硕士生毕业（其中一名已成为博士研究生）。