1985年保送入學南京大學計算機系,1989年本科畢業並獲理學學士學位。1992年、1995年分別獲華東理工大學工學碩士學位和上海交通大學工學博士學位。1995年起任教於華東理工大學計算機系至今,其中2001年至2004年為美國佛羅里達國際大學訪問學者。主持的科研項目包括國家自然科學基金3項以及教育部高等學校骨幹教師資助計畫、上海市曙光計畫、上海市浦江人才計畫等多項。研究領域涉及軟體工程、可信計算與安全、形式化方法及套用。在國內外學術期刊和國際會議上發表論文90餘篇,編著教材1部 ,獲上海市科技進步獎1項。他是IEEE高級會員、ACM會員、中國計算機學會高級會員及軟體工程專業委員會、系統軟體專業委員會委員。