簡介
教育經歷：1992年畢業於天津大學，獲工學學士學位1996年畢業於北京大學，獲理學碩士學位1999年於中國科學院計算技術研究所獲計算機體系結構專業博士學位。
研究經歷：1997年~2002年，主要從事並行最佳化編譯方面的研究工作，是並行最佳化編譯系統Auotpar的主要研發者之一。該系統針對曙光系列並行計算系統的特點，開發了多種最佳化技術，其加速比達到國際領先水平。並行最佳化編譯系統Autopar的多個版本和並行程式行為檢測和性能分析工具ParaVT完成了多項軟體登記。該項目的研究受到國家自然科學基金重點項目和863等資助。2001年~2004年，受國家自然科學基金、863以及計算所的資助，主持了早期的X86/Linux到龍芯/Linux平台的二進制翻譯系統的研發，初步實現了一個靜態的二進制翻譯系統，是國內最早的相關研究工作之一。目前，二進制翻譯和動態最佳化技術仍是我的博士生選題方向之一。2003年~今，開展面向處理器微體系結構的編譯最佳化技術研究。主持完成了面向龍芯2E晶片的高性能編譯系統的研製，其性能明顯優於GCC。近年的主要研究興趣是面向多核/眾核晶片架構的編譯基礎設施和程式最佳化技術。這方面的工作受國家“核高基”重大專項、973和863等項目的資助。2007年~今，開展面向程式正確性的編譯分析技術和調試工具方面的研究工作。主要研究興趣在面向多核/並行系統的高效率的程式分析和調試技術。這方面的工作受國家“核高基”重大專項、973、863和國家自然科學基金等項目的資助。
