1987年7月清华大学计算机科学与技术系本科毕业，获工学学士。1997年3月日本九州大学系统信息科学院计算机科学系研究生毕业， 获计算机科学博士。同年4月起任日本福冈工业大学计算机科学与工程系讲师, 2000年4月起任副教授。2002年4月至2003年3月在美国麻省理工学院计算机科学实验室(MIT LCS) 任访问科学家。2005年11月起到交大工作。

专业方向为面向方面软件技术(AOSD)，程序分析与验证，新型程序语言设计，高可靠软件系统开发，软件测试，软件理解与维护，软件复杂性度量，面向服务的软件体系结构等。