国家””专家, 1996年获得加拿大蒙特利尔大学计算机系通信软件工程专业博士学位，师从加拿大皇家科学院（Fellow of Royal Society of Canada）院士、国际通信协议设计、验证与测试领域奠基人Gregor von Bochmann教授.1999年任该领域最高级别的国际年会主席-国际形式化技术与通信协议的描述、测试与验证（FORTE/PSTV）年会，时年36岁。