 |
|
加拿大渥太华大学教授,加拿大皇家学会院士,加拿大工程院院士,IEEE Fellow,ACM Fellow。他在软件工程与通信协议领域有着30余年的研究经验,其分布式系统建模与协议一致性测试方面的研究工作得到了国际上的普遍认可,曾领导与Nortel Networks, IBM, Hewlett-Packard, Teleglobe, DMR and EICON Technologies等大型公司在电信与计算机领域的合作研究工作,并负责完成了多个大型学校与企业间的合作项目。早在20世纪80年代初期,他便是ISO与CCITT标准委员会在通信协议方面的成员,并领导了通信协议形式化描述技术的标准化工作。在1990-2000年间组织了12次国际会...
|