CCF会士、常务理事,ACM/IEEE Fellow,清华大学计算机科学与技术系教授