英国爱丁堡大学Plotkin教授来我校进行学术交流

点击数:    |    加入时间:2003-11-15

2003年9月9日至16日,作为《教育部面向21世纪教育振兴行动计划》"聘请世界著名学者"项目北航主聘的专家,英国爱丁堡大学计算机系的Plotkin教授对我校进行了学术访问。访问期间,Plotkin教授于9月11日和15日分别在如心中报告厅和逸夫馆为我校师生作了“如何为计算效果建立一个统一的逻辑框架”、“数理逻辑在计算机科学中的应用”等两场学术报告。

Plotkin教授是英国皇家学会会员, 理论计算机科学领域的世界知名学者。 他在程序语言的指称和操作语义、类型理论、证明论以及自然语言的语义等方面取得了多项奠基性研究成果。他创立了结构操作语义方法及指称语义中的幂域理论,首次提出了可计算的高阶逻辑框架。Plotkin教授的著述被广泛地引用,在国际计算机科学界产生了重要的影响。

打印
分享
更多新闻
07月
13
北航召开思想政治工作会议

点击数:
加入时间:2017-07-13
07月
13
学校召开落实教代会代表提案工作会

点击数:
加入时间:2017-07-13
07月
13
07月
12
07月
12
我校召开2017年上半年安全工作会

点击数:
加入时间:2017-07-12
07月
12
07月
12
我校召开2017级学生军训工作协调会

点击数:
加入时间:2017-07-12