应我校计算机学院计算理论与技术研究所段振华教授邀请,2006年3月26日~4月2日,英国newcastle大学两位教授maciej koutny及alexandre yakovlev来我院进行了讲学访问。
maciej koutny教授生于波兰,英国籍。早年在著名的华沙技术大学获得学士,硕士和博士学位。现在,他是英国newcastle大学的教授,英国著名的计算机科学家,欧州理论计算机学会成员。几十年来,他在理论计算机科学的许多领域,包括并发计算理论、进程代数、时序逻辑、petri 网、模型检测等,都作出了重要贡献。目前已在著名国际杂志和国际会议发表论文70多篇,出版了2部研究专著。
alexandre yakovlev教授生于俄罗斯,英国籍。早年在著名的圣彼得堡电子工程学院获得计算机科学硕士和博士学位。现在,他是英国newcastle大学的教授,ieee、iee和ieee计算机及通信联合会成员,曾主持过多个国际会议,现为acsd国际会议筹划委员会主席,2002年入围笛卡儿奖并获得欧洲最佳科学团队奖。他的研究领域主要为异步、并发、实时和可靠系统芯片的设计与建模。目前已在著名国际杂志和国际会议发表论文150多篇,出版了3部研究专著。
3月27日下午段宝岩校长会见了两位教授,并进行了亲切的交谈。27,28,30,31日两位教授分别在图书馆学术报告厅做了题为“数字系统设计的并发模型(concurrency models for digital systems design)”的系列学术报告,深入浅出的详细介绍了这一领域的基本情况及最新进展。报告会吸引了计算机学院、软件学院等众多西电师生,报告一直在轻松、良好的气氛中进行,听众提问踊跃,交流十分融洽。
3月28日上午及30日下午,两位教授同计算机学院计算理论与技术研究所师生进行了热情的交流,并参观了研究所。31日上午,两位教授前往软件学院软件工程研究所进行了参观访问,并同软件所师生进行了亲切交谈。