简介：又一位图灵奖得主去世了,他是受人尊敬的时序逻辑领域大师艾米尔·伯努利（AmirPnueli）。今年11月2日,这位1996年度图灵奖得主因脑出血去世,享年68岁,只剩那些熠熠生辉的科技成就留给后人。
简介：暴雪公司毫无疑问是世界最好的游戏公司,其游戏的玩家遍及全世界。魔兽争霸系列、暗黑破坏神系列、星际争霸系列、魔兽世界,暴雪出品在全球游戏圈内大名鼎鼎、如雷贯耳,屡屡斩获白金销量（发行超过100万份）。暴雪公司是整个游戏产业的神话,开创电子竞技的先河,打造出一个空前的经典,而这一游戏神话的缔造者,便是迈克·莫怀米。
时序逻辑领域的开拓者
游戏神话的缔造者——迈克·莫怀米
