计算的美丽–2007年图灵奖获得者Joseph Sifakis

Sina WeiboBaiduLinkedInQQGoogle+RedditEvernote分享




Joseph Sifakis(1946–)

图灵奖获得时间:

2007年。 第42位图灵奖(2007年)获得者。

图灵奖引用(Turing Award Citation) :

For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

【笔者译:】

(授予Joseph Sifakis图灵奖以表彰其)对目前在硬件和软件领域被广泛使用的模型检查发展成为一个重要的,高效的验证技术所做出的杰出贡献。

笔者注: 

关于模型检查理论,可参阅美国卡内基梅隆(CMU)计算机系的模型检查(Model Check)实验室:

http://www.cs.cmu.edu/~modelcheck/

理论而言,模型检查属于形式方法(Formal Methods)研究的一个分支 。关于形式理论,可以参阅:http://en.wikipedia.org/wiki/Formal_methods

另外,也可参阅:

http://en.wikipedia.org/wiki/Model_checking

Turing Award Lecture(图灵奖演讲文章):

Joseph Sifakis简介:

Joseph Sifakis是一个来自希腊的计算机科学家。1946年出生于希腊的Heraklion, Crete。Sifakis年青时候分别在希腊的雅典国立科技大学的电子工程系和法国的University of Grenoble计算机系学习。目前Sifakis在法国的Centre national de la recherche scientifique at the VERIMAG laboratory进行研究工作。Sifakis本人也是VERIMAG实验室的创办人。

关于Sifakis的更多信息可参阅其主页:

http://www-verimag.imag.fr/~sifakis/

E. Allen Emerson照片:

(没有打分)

雁过留声

Comments are closed.