Evgeny (![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small} atsky) wrote,@ 2008-02-12 19:51:00 |
|
Премия Тьюринга 2007
Ура!
Француз Жозеф Сифакис и американцы Эдмунд Кларк и Аллен Эмерсон стали лауреатами премии Тьюринга 2007 года. Премия составляет $250,000 (я почему-то думал что больше).
Высокой научной награды они удостоены за создание метода проверки модели (Model Checking).
Похоже, что model checking не такой уж беспомощный, если за него дают премию.
Ура!
Француз Жозеф Сифакис и американцы Эдмунд Кларк и Аллен Эмерсон стали лауреатами премии Тьюринга 2007 года. Премия составляет $250,000 (я почему-то думал что больше).
Высокой научной награды они удостоены за создание метода проверки модели (Model Checking).
Похоже, что model checking не такой уж беспомощный, если за него дают премию.
