1992-1995中國科學院軟件研究所博士後。
後被授予國家博士後制度建立20周年以來的“全國優秀博士後”稱號。
1996-2000在國內外高校和科研院所從事研究工作。
2001-2003年中國科學院“百人計劃”研究員。
2004年,“百人計劃”科研人員終評優秀(約15%),得到中科院“百人計劃”基金的進壹步支持。
2004-2009年擔任國家重大基礎研究計劃973“語義網格的基礎理論、模型和方法”項目首席科學家。
2003-2007年任中國科學院智能信息處理重點實驗室副主任、常務副主任、主任。
2008-2012中國科學院智能信息處理重點實驗室首席科學家、副主任、學術委員會委員。
澳大利亞科廷科技大學名譽教授、
加拿大新不倫瑞克大學兼職教授,
中國科學院計算技術研究所研究員。
中國、美國、奧地利、愛爾蘭、韓國等國家科學基金交流與會議評審專家。
國家科學技術獎評審專家。
2010當選ACM(計算機械協會)傑出科學家。
2011年獲ACM傑出演講人。
2013年,他被授予皇家工程院RAE傑出訪問學者。