Ассоциация вычислительной техники объявила лауреатов премии Тьюринга за 2007 года. Ими стали Эдмунд Кларк, профессор информатики из Университета Карнеги Меллон в Питтсбурге, Аллен Эмерсон, профессор Техасского Университета в Остине, США, и Джозеф Сифакис из Университета Гренобля, Франция.
Премия Тьюринга названа так в честь выдающегося английского математика и криптографа, который внес огромный научный вклад не только в собственно математику, но и положил начало развитию современных компьютерных систем. В неофициальной среде его иногда называют отцом Интернета. Кроме того, он добился выдающихся результатов в расшифровке знаменитого шифровального кода "Энигма", использовавшегося немецкими войсками во время Второй мировой войны.
Уже после войны он подвергся несправедливому преследованию и покончил с собой в возрасте всего 41 года. Один из соратников, с которыми он работал, позднее скажет о Тьюринге: "Его погубило государство, которое он спас".
Премия его имени была учреждена в 1966 году и сразу же стала наиболее авторитетной наградой в области высоких технологий. По значимости ее сравнивают с Нобелевской премией, несмотря на то, что первоначально ее денежный эквивалент составлял всего 15 тыс. долларов. В настоящее время, благодаря спонсорству таких гигантов как Intel и Google, размер вознаграждения достиг 250 тыс. долларов.
Первая премия Тьюринга была присуждена Алану Перлису за вклад в область обобщенных техник программирования и построения компиляторов. Год спустя премию получил Морис Вилькес, известный, прежде всего, как проектировщик системы EDSAC - первого компьютера c внутренним хранением программ. Позднее престижной награды были удостоены Марвин Минский за исследования в области искусственного интеллекта, один из пионеров исследований в сфере систем управления базами данных Чарльз Бахман, Никлаус Вирт и Питер Наур за разработку инновационных языков программирования, Винтон Серф и Роберт Канн, внесшие большой вклад в развитие Интернета, а также многие другие известные личности. В прошлом году впервые лауреатом престижной премии стала женщина - награда была присуждена Фрэнсис Аллен за фундаментальное улучшение производительности определенных типов компьютерных программ.
Президент Ассоциации вычислительной техники Стюарт Фельдман, комментируя научный вклад удостоенных в этом году награды ученых, отмечает, что исследования Кларка, Эмерсона и Сифакиса оказали огромное влияние на способы проектирования и производства полупроводниковых микросхем. Инновационные решения, предложенные учеными, позволили превратить технику проверки моделей из теоретического научного знания в мощный практический инструментарий, позволяющий инженерам с высокой эффективностью обнаруживать недоработки в проектируемых системах. Средства проверки моделей в процессе разработки новых программных и аппаратных решений сейчас используют многие крупные компании.
Эдмунд Кларк и Аллен Эмерсон предложили идею проверки модели еще в 1981 году в Гарварде. Они разработали теоретический метод, с помощью которого можно было определить, соответствует ли абстрактная модель аппаратного или программного решения формальной спецификации, данной в формулах темпоральной (временнóй) логики – логического языка, позволяющего описывать возможную последовательности событий. Жозеф Сифакис стал первым французским лауреатом этой премии. Он возглавляет в Гренобле научно-исследовательскую лабораторию "Веримаг", специализирующуюся на создании электронных систем для бортового оборудования. Первые теоретические основы своего будущего открытия Сифакис заложил также в 1981 году, независимо от своих американских коллег.
В настоящее время модель получила свое развитие.
Церемония вручения премии состоится в ходе ежегодного банкета, устраиваемого Ассоциацией вычислительной техники. Торжественное мероприятие пройдет 21 июня в Сан-Франциско (штат Калифорния).
Премия Тьюринга названа так в честь выдающегося английского математика и криптографа, который внес огромный научный вклад не только в собственно математику, но и положил начало развитию современных компьютерных систем. В неофициальной среде его иногда называют отцом Интернета. Кроме того, он добился выдающихся результатов в расшифровке знаменитого шифровального кода "Энигма", использовавшегося немецкими войсками во время Второй мировой войны.
Уже после войны он подвергся несправедливому преследованию и покончил с собой в возрасте всего 41 года. Один из соратников, с которыми он работал, позднее скажет о Тьюринге: "Его погубило государство, которое он спас".
Премия его имени была учреждена в 1966 году и сразу же стала наиболее авторитетной наградой в области высоких технологий. По значимости ее сравнивают с Нобелевской премией, несмотря на то, что первоначально ее денежный эквивалент составлял всего 15 тыс. долларов. В настоящее время, благодаря спонсорству таких гигантов как Intel и Google, размер вознаграждения достиг 250 тыс. долларов.
Первая премия Тьюринга была присуждена Алану Перлису за вклад в область обобщенных техник программирования и построения компиляторов. Год спустя премию получил Морис Вилькес, известный, прежде всего, как проектировщик системы EDSAC - первого компьютера c внутренним хранением программ. Позднее престижной награды были удостоены Марвин Минский за исследования в области искусственного интеллекта, один из пионеров исследований в сфере систем управления базами данных Чарльз Бахман, Никлаус Вирт и Питер Наур за разработку инновационных языков программирования, Винтон Серф и Роберт Канн, внесшие большой вклад в развитие Интернета, а также многие другие известные личности. В прошлом году впервые лауреатом престижной премии стала женщина - награда была присуждена Фрэнсис Аллен за фундаментальное улучшение производительности определенных типов компьютерных программ.
Президент Ассоциации вычислительной техники Стюарт Фельдман, комментируя научный вклад удостоенных в этом году награды ученых, отмечает, что исследования Кларка, Эмерсона и Сифакиса оказали огромное влияние на способы проектирования и производства полупроводниковых микросхем. Инновационные решения, предложенные учеными, позволили превратить технику проверки моделей из теоретического научного знания в мощный практический инструментарий, позволяющий инженерам с высокой эффективностью обнаруживать недоработки в проектируемых системах. Средства проверки моделей в процессе разработки новых программных и аппаратных решений сейчас используют многие крупные компании.
Эдмунд Кларк и Аллен Эмерсон предложили идею проверки модели еще в 1981 году в Гарварде. Они разработали теоретический метод, с помощью которого можно было определить, соответствует ли абстрактная модель аппаратного или программного решения формальной спецификации, данной в формулах темпоральной (временнóй) логики – логического языка, позволяющего описывать возможную последовательности событий. Жозеф Сифакис стал первым французским лауреатом этой премии. Он возглавляет в Гренобле научно-исследовательскую лабораторию "Веримаг", специализирующуюся на создании электронных систем для бортового оборудования. Первые теоретические основы своего будущего открытия Сифакис заложил также в 1981 году, независимо от своих американских коллег.
В настоящее время модель получила свое развитие.
Церемония вручения премии состоится в ходе ежегодного банкета, устраиваемого Ассоциацией вычислительной техники. Торжественное мероприятие пройдет 21 июня в Сан-Франциско (штат Калифорния).
Актуально