Games, Interaction and Computation

主讲人: 
Samson Abramsky
活动时间: 
星期四, 十二月 9, 2010 - 19:30 to 21:00
活动地址: 
小礼堂

Samson Abramsky 系牛津大学计算实验室Christopher Strachey讲座教授,他在博弈语义(Game Semantics)、域理论(Domain Theory)、并行理论(Concurrency Theory)、交互计算等理论计算机科学领域均有杰出贡献。\r\n\r\n内容简介:计算机与环境的交互是理论计算机科学领域的核心问题之一。近15年来发展起来的博弈语义(Game Semantics)成为刻画交互计算的重要数学工具。本讲座将介绍博弈语义在计算机科学中的应用及其最新进展。\r\n