2003年9月9日至16日，作为《教育部面向21世纪教育振兴行动计划》"聘请世界著名学者"项目北航主聘的专家，英国爱丁堡大学计算机系的Plotkin教授对我校进行了学术访问。访问期间，Plotkin教授于9月11日和15日分别在如心中报告厅和逸夫馆为我校师生作了“如何为计算效果建立一个统一的逻辑框架”、“数理逻辑在计算机科学中的应用”等两场学术报告。
Plotkin教授是英国皇家学会会员, 理论计算机科学领域的世界知名学者。 他在程序语言的指称和操作语义、类型理论、证明论以及自然语言的语义等方面取得了多项奠基性研究成果。他创立了结构操作语义方法及指称语义中的幂域理论，首次提出了可计算的高阶逻辑框架。Plotkin教授的著述被广泛地引用，在国际计算机科学界产生了重要的影响。
