1985年本科毕业于清华大学计算机系,1988年硕士毕业于国防科技大学计算机系。现任国防科技大学计算机学院研究员,国务院学位委员会软件工程学科评议组召集人。
长期从事高性能计算机系统软件与通用操作系统的科研工作。