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