热烈祝贺实验室申请的省海外名师项目获得批准
发布时间:2012/7/22 14:30:45 阅读次数:10489
接省教育厅文件,实验室刘建勋教授为加拿大皇家学会院士、工程院院士、IEEE与ACM Fellow,加拿大渥太华大学信息科学与工程学院Gregor v. Bochmann教授申请的2011年度湖南省海外名师项目获得批准,Gregor v. Bochmann教授将在该项目支持下来实验室指导1~2个月时间。这将是Bochmann教授第二次来实验室指导(第一次为2009年9~11月)。
该项目为湖南省政府引进外籍知名教授与学者来湖南高校开展短期交流与合作而新设立的引智项目,今年为第一次开展该类项目申请。
Gegor v. Bochmann教授简历
Bochmann教授现就职于加拿大渥太华大学,因在分布式系统、电信系统的通信协议的自动生成、形式化验证、自动测试等方面创造性贡献获得工业界的支持,并当选IEEE Fellow, ACM Fellow以及加拿大皇家学会、加拿大工程院院士。并获得其它一系列奖项,特别是获得了IEEE Canada 2011年度 G.L. McNaughton金奖(该奖为IEEE Canada最高奖,每年仅有一位获奖者)。
Bochmann教授曾在IEEE软件工程汇刊、IEEE通讯快报、ACM软件工程、程序设计汇刊等顶级国际期刊以及INFOCOMM、MOBICOMMD、ICWS等顶级会议上发表了50多篇高水平的学术论文。
2011年7月20日