Rate it
High Prizes for Honored Recipients

The Association of Computing Machinery (ACM) has announced the names of Turing Award recipients in 2007. They are Professor Edmund Clarke, the Carnegie Melon University in Pittsburg, Professor Allen Emerson, the University in Ostin, USA, and Joseph Sifakis, the Grenoble University, France.

The Turing Award is named after an outstanding English mathematician and cryptographer who contributed a lot not only to the mathematics itself but also to the beginning of the up-to-date computing machines. Unofficially he is called the father of Internet. Besides, he achieved a remarkable success in decipher of the Enigma code used by Germans during WWII.

Already after the war he was unjustly prosecuted, and committed suicide when he was only 41. Later one of his colleagues said: “He was killed by the state that he saved”.

An award named after him was granted for the first time in 1966, and immediately became the most respectful prize in the High-Tech sphere. It is often compared with the Noble Prize although its cash equivalent was 15 thousand Dollars only. Today due to such huge sponsors as Intel and Google, the recipients receive 250 thousand Dollars.

The first Turing Award recipient was Alan Perlis for his influence in the area of advanced programming techniques and compiler construction. Next year the award was granted to Mourice Wilkes known as a designer of the EDSAC, the first computer with an internally stored program. Later this respectful prize was granted to Marvin Minsky for development of artificial intelligence, Charlese Bachman, a pioneer in database management technology, Niklaus Wirth and Peter Naur for fundamental contributions to programming language design, Vonton Cerf and Robert Kahn for pioneering work on internetworking, and many other famous scientists. Last year the award was granted for the first time to a woman, Frances Allen, for fundamental improvement of the performance of computer programs in solving problems.

Speaking on the scientific contribution of this-year recipients Stuart Feldman, ACM President, said that the studies of Clarke, Emerson and Sifakis contributed to the methods of IC design and production. The innovative solutions proposed by the scientists made it possible to convert the model checking methodology from the theoretical knowledge into a powerful practical instrument enabling the engineers to effectively find errors in designs. Today many large corporations use the Model Checking method for development of new software and hardware.

Edmund Clarke and Allen Emerson proposed the model checking theory as far back as in 1981 in Harvard. They developed a theoretical approach enabling the engineer to determine if the abstract hardware or software model corresponds to the formal specification presented in the formulas of temporal logics, i.e. a logical language providing for description of a possible sequence of events. Joseph Sifakis was the first French recipient of the award. He is a head of the Verimag research laboratory in Grenoble that develops onboard electronic systems. Sifakis developed the theoretical basis of his future discovery also in 1981 independent of his American colleagues.

Currently the model is successfully implemented.

The awards will be granted at an annual reception sponsored by the Association of Computing Machinery. The ceremony will take place on June 21 in San-Francisco (California).
Add comment
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
/en/?action=view&id=20494&module=news
* Реестр иностранных средств массовой информации, выполняющих функции иностранного агента:
Голос Америки, Idel.Реалии, Кавказ.Реалии, Крым.Реалии, Телеканал Настоящее Время, Azatliq Radiosi, Радио Свобода, Сибирь.Реалии, Фактограф, Север.Реалии, MEDIUM-ORIENT, Пономарев Лев Александрович, Савицкая Людмила Алексеевна, Маркелов Сергей Евгеньевич, Камалягин Денис Николаевич, Апахончич Дарья Александровна, Medusa Project, Первое антикоррупционное СМИ, VTimes.io, Баданин Роман Сергеевич, Гликин Максим Александрович, Маняхин Петр Борисович, Ярош Юлия Петровна, Чуракова Ольга Владимировна, Железнова Мария Михайловна, Лукьянова Юлия Сергеевна, Маетная Елизавета Витальевна, The Insider SIA, Рубин Михаил Аркадьевич, Гройсман Софья Романовна, Рождественский Илья Дмитриевич, Апухтина Юлия Владимировна, Постернак Алексей Евгеньевич, Телеканал Дождь, Петров Степан Юрьевич, Istories fonds, Шмагун Олеся Валентиновна, Мароховская Алеся Алексеевна, Долинина Ирина Николаевна, Шлейнов Роман Юрьевич, Анин Роман Александрович, Великовский Дмитрий Александрович, Альтаир 2021, Ромашки монолит, Главный редактор 2021, Вега 2021, Важные иноагенты, Каткова Вероника Вячеславовна, Карезина Инна Павловна, Кузьмина Людмила Гавриловна, Костылева Полина Владимировна, Лютов Александр Иванович, Жилкин Владимир Владимирович, Жилинский Владимир Александрович, Тихонов Михаил Сергеевич, Пискунов Сергей Евгеньевич, Ковин Виталий Сергеевич, Кильтау Екатерина Викторовна, Любарев Аркадий Ефимович, Гурман Юрий Альбертович, Грезев Александр Викторович, Важенков Артем Валерьевич, Иванова София Юрьевна, Пигалкин Илья Валерьевич, Петров Алексей Викторович, Егоров Владимир Владимирович, Гусев Андрей Юрьевич, Смирнов Сергей Сергеевич, Верзилов Петр Юрьевич, ЗП, Зона права, ЖУРНАЛИСТ-ИНОСТРАННЫЙ АГЕНТ, Вольтская Татьяна Анатольевна, Клепиковская Екатерина Дмитриевна, Сотников Даниил Владимирович, Захаров Андрей Вячеславович, Симонов Евгений Алексеевич, Сурначева Елизавета Дмитриевна, Соловьева Елена Анатольевна, Арапова Галина Юрьевна, Перл Роман Александрович, МЕМО, Mason G.E.S. Anonymous Foundation, Stichting Bellingcat, Москоу диджитал медиа, РС-Балт
* Сведения реестра НКО, выполняющих функции иностранного агента:
Центр гендерных исследований, Четвертый сектор, Фонд защиты прав граждан Штаб, Институт права и публичной политики, Лаборатория социальных наук, Фонд борьбы с коррупцией, Альянс врачей, Центр по работе с проблемой насилия НАСИЛИЮ.НЕТ, Мы против СПИДа, СВЕЧА, Феникс ПЛЮС, Открытый Петербург, Гуманитарное действие, Лига Избирателей, Правовая инициатива, Гражданская инициатива против экологической преступности, Гражданский Союз, благотворительный Центр Хасдей Ерушалаим, Центр поддержки и содействия развитию средств массовой информации, Горячая Линия, В защиту прав заключенных, Институт глобализации и социальных движений, Центр социально-информационных инициатив Действие, ВМЕСТЕ, Благотворительный фонд охраны здоровья и защиты прав граждан, Благотворительный фонд помощи осужденным и их семьям, Фонд Тольятти, Новое время, Серебряная тайга, Так-Так-Так, центр Сова, центр Анна, Проект Апрель, Самарская губерния, Эра здоровья, общество Мемориал, Аналитический Центр Юрия Левады, Издательство Парк Гагарина, Фонд содействия защите здоровья и социальной справедливости имени Андрея Рылькова, Сфера, СИБАЛЬТ, Уральская правозащитная группа, Женщины Евразии, Институт прав человека, Фонд защиты гласности, Центр по правам человека, Дальневосточный центр инициатив и социального партнерства, Пермский региональный правозащитный центр, Гражданское действие, Центр независимых социологических исследований, Сутяжник, АКАДЕМИЯ ПО ПРАВАМ ЧЕЛОВЕКА, Частное учреждение по реализации программ и проектов Совета Министров, Центр развития некоммерческих организаций, Гражданское содействие, Трансперенси Интернешнл-Р, Центр Защиты Прав Средств Массовой Информации, Институт развития прессы - Сибирь, Фонд поддержки свободы прессы, Гражданский контроль, Человек и Закон, Общественная комиссия по сохранению наследия академика Сахарова, Информационное агентство МЕМО.РУ, Институт региональной прессы, Институт Развития Свободы Информации, Экозащита!-Женсовет, Общественный вердикт, Евразийская антимонопольная ассоциация, Милославский Павел Юрьевич, Шнырова Ольга Вадимовна, Сечина Анастасия Евгеньевна, Чанышева Лилия Айратовна, Сидорович Ольга Борисовна, Таранова Юлия Николаевна, Туровский Александр Алексеевич, Васильева Анастасия Евгеньевна, Ривина Анна Валерьевна, Бурдина Юлия Владимировна, Бойко Анатолий Николаевич, Писемский Евгений Александрович, Пивоваров Андрей Сергеевич, Дугин Сергей Георгиевич, Аверин Виталий Евгеньевич, Барахоев Магомед Бекханович, Шевченко Дмитрий Александрович, Шарипков Олег Викторович, Мошель Ирина Ароновна, Шведов Григорий Сергеевич, Пономарев Лев Александрович, Каргалицкий Борис Юльевич, Созаев Валерий Валерьевич, Исакова Ирина Александровна, Исламов Тимур Рифгатович, Романова Ольга Евгеньевна, Щаров Сергей Алексадрович, Цирульников Борис Альбертович, Халидова Марина Владимировна, Людевиг Марина Зариевна, Федотова Галина Анатольевна, Паутов Юрий Анатольевич, Верховский Александр Маркович, Пислакова-Паркер Марина Петровна, Кочеткова Татьяна Владимировна, Чуркина Наталья Валерьевна, Акимова Татьяна Николаевна, Золотарева Екатерина Александровна, Рачинский Ян Збигневич, Жемкова Елена Борисовна, Гудков Лев Дмитриевич, Илларионова Юлия Юрьевна, Саранг Анна Васильевна, Захарова Светлана Сергеевна, Аверин Владимир Анатольевич, Щур Татьяна Михайловна, Щур Николай Алексеевич, Блинушов Андрей Юрьевич, Мосин Алексей Геннадьевич, Гефтер Валентин Михайлович, Симонов Алексей Кириллович, Флиге Ирина Анатольевна, Мельникова Валентина Дмитриевна, Вититинова Елена Владимировна, Баженова Светлана Куприяновна, Исаев Сергей Владимирович, Максимов Сергей Владимирович, Беляев Сергей Иванович, Голубева Елена Николаевна, Ганнушкина Светлана Алексеевна, Закс Елена Владимировна, Буртина Елена Юрьевна, Гендель Людмила Залмановна, Кокорина Екатерина Алексеевна, Шуманов Илья Вячеславович, Арапова Галина Юрьевна, Свечников Анатолий Мариевич, Прохоров Вадим Юрьевич, Шахова Елена Владимировна, Подузов Сергей Васильевич, Протасова Ирина Вячеславовна, Литинский Леонид Борисович, Лукашевский Сергей Маркович, Бахмин Вячеслав Иванович, Шабад Анатолий Ефимович, Сухих Дарья Николаевна, Орлов Олег Петрович, Добровольская Анна Дмитриевна, Королева Александра Евгеньевна, Смирнов Владимир Александрович, Вицин Сергей Ефимович, Золотухин Борис Андреевич, Левинсон Лев Семенович, Локшина Татьяна Иосифовна, Орлов Олег Петрович, Полякова Мара Федоровна, Резник Генри Маркович, Захаров Герман Константинович
* Единый федеральный список организаций, в том числе иностранных и международных организаций, признанных в соответствии с законодательством Российской Федерации террористическими:
Высший военный Маджлисуль Шура, Конгресс народов Ичкерии и Дагестана, Аль-Каида, Асбат аль-Ансар, Священная война, Исламская группа, Братья-мусульмане, Партия исламского освобождения, Лашкар-И-Тайба, Исламская группа, Движение Талибан, Исламская партия Туркестана, Общество социальных реформ, Общество возрождения исламского наследия, Дом двух святых, Джунд аш-Шам, Исламский джихад, Имарат Кавказ, АБТО, Правый сектор, Исламское государство, Джабха аль-Нусра ли-Ахль аш-Шам, Народное ополчение имени К. Минина и Д. Пожарского, Аджр от Аллаха Субхану уа Тагьаля SHAM, АУМ Синрике, Ат-Тавхида Валь-Джихад, Чистопольский Джамаат, Рохнамо ба суи давлати исломи, Террористическое сообщество Сеть, Катиба Таухид валь-Джихад, Хайят Тахрир аш-Шам, Ахлю Сунна Валь Джамаа
* Перечень общественных объединений и религиозных организаций в отношении которых судом принято вступившее в законную силу решение о ликвидации или запрете деятельности:
Национал-большевистская партия, ВЕК РА, Рада земли Кубанской Духовно Родовой Державы Русь, Община Духовного Управления Асгардской Веси Беловодья, Славянская Община Капища Веды Перуна, Мужская Духовная Семинария Староверов-Инглингов, Нурджулар, К Богодержавию, Таблиги Джамаат, Свидетели Иеговы, Русское национальное единство, Национал-социалистическое общество, Джамаат мувахидов, Объединенный Вилайат Кабарды, Балкарии и Карачая, Союз славян, Ат-Такфир Валь-Хиджра, Пит Буль, Национал-социалистическая рабочая партия России, Славянский союз, Формат-18, Благородный Орден Дьявола, Армия воли народа, Национальная Социалистическая Инициатива города Череповца, Духовно-Родовая Держава Русь, Русское национальное единство, Древнерусской Инглистической церкви Православных Староверов-Инглингов, Русский общенациональный союз, Движение против нелегальной иммиграции, Кровь и Честь, О свободе совести и о религиозных объединениях, Омская организация общественного политического движения Русское национальное единство, Северное Братство, Клуб Болельщиков Футбольного Клуба Динамо, Файзрахманисты, Мусульманская религиозная организация п. Боровский, Община Коренного Русского народа Щелковского района, Правый сектор, УНА - УНСО, Украинская повстанческая армия, Тризуб им. Степана Бандеры, Братство, Белый Крест, Misanthropic division, Религиозное объединение последователей инглиизма, Народная Социальная Инициатива, TulaSkins, Этнополитическое объединение Русские, Русское национальное объединение Атака, Мечеть Мирмамеда, Община Коренного Русского народа г. Астрахани, ВОЛЯ, Меджлис крымскотатарского народа, Рубеж Севера, ТОЙС, О противодействии экстремистской деятельности, РЕВТАТПОД, Артподготовка, Штольц, В честь иконы Божией Матери Державная, Сектор 16, Независимость, Фирма, Молодежная правозащитная группа МПГ, Курсом Правды и Единения, Каракольская инициативная группа, Автоград Крю, Союз Славянских Сил Руси, Алля-Аят, Благотворительный пансионат Ак Умут, Русская республика Русь, Арестантское уголовное единство, Башкорт, Нация и свобода, Нация и свобода, W.H.С., Фалунь Дафа, Иртыш Ultras, Русский Патриотический клуб-Новокузнецк/РПК, Сибирский державный союз, Фонд борьбы с коррупцией, Фонд защиты прав граждан, Штабы Навального, Совет граждан СССР Прикубанского округа г. Краснодара, Мужское государство, Народное объединение русского движения, Народное движение Адат, Народный совет граждан РСФСР СССР Архангельской области, Проект Штурм, Граждане СССР, Держава Союз Советских Светлых Родов, Совет Советских Социалистических Районов, Meta Platforms Inc, Facebook, Instagram, WhatsApp, СИЧ-С14, Добровольческое Движение Организации украинских националистов, Черный Комитет, Татарстанское Региональное Всетатарское общественное движение, Невоград, Молодежное Демократическое Движение Весна, Верховный Совет Татарской Автономной Советской Социалистической Республики, Конгресс ойрат-калмыцкого народа, Исполнительный комитет совета народных депутатов Красноярского края, Этническое национальное объединение, ЛГБТ, Я.МЫ Сергей Фургал

Сообщите об орфографической ошибке

Сообщить
Выделенный текст слишком длинный.