Поделиться:

О знаменитости

Эрнест Аллен Эмерсон: биография


Эрнест Аллен Эмерсон биография, фото, истории - американский учёный в области теории вычислительных систем, лауреат премии Тьюринга

американский учёный в области теории вычислительных систем, лауреат премии Тьюринга

Биография

Эмерсон получил степень бакалавра по математике в университете Техаса в 1976 году. Позже, в 1981 году, он приобрёл титул доктора философии в Гарвардском университете.

Награждён в 2007 году вместе со своим научным руководителем Эдмундом Кларком и Иосифом Сифакисом премией Тьюринга за вклад в развитие теории проверки моделей.

Награды

  • 1998 — Paris Kanellakis Award (ACM)
  • 1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)
  • 2006 — Test-of-Time Award (IEEE)
  • 2007 — Премия Тьюринга вместе с Кларком и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения

Комментарии

Добавить комментарий
Комментарий
Отправить
 

 

Вернадский Владимир Иванович Вернадский Владимир Иванович

русский ученый, создатель науки «биогеохимия»

Борис Исаакович Ярхо Борис Исаакович Ярхо

русский филолог-медиевист, фольклорист, теоретик и историк литературы, стиховед

Эндрю Яо Цичжи Эндрю Яо Цичжи

учёный в области теории вычислительных систем, профессор университета Цинхуа в Пекине

Ивар Якобсон Ивар Якобсон

шведский ученый, внесший огромный вклад в развитие UML, RUP, Аспектно-ориентированного программирования

Василий Иванович Яворский Василий Иванович Яворский

российский советский учёный в области угольных месторождений и палеонтологии, геолог, доктор геолого-минералогических наук, профессор

Юлиан Андреевич Яворский Юлиан Андреевич Яворский

галицкий литературовед, фольклорист, историк и поэт, общественный деятель москвофильской ориентации

Дмитрий Иванович Яворницкий Дмитрий Иванович Яворницкий

российский и украинский историк, археолог, этнограф, фольклорист, лексикограф, писатель, академик АН УССР

Явербаум Павел Моиссевич Явербаум Павел Моиссевич

профессор кафедры биохимии Иркутского государственного медицинского университета, доктор медицинских наук

Группа компаний 1520: проектирование и строительство ж/д узлов

Группа компаний 1520: проектирование и строительство ж/д узлов

Владимир  Крупчак. Бухта радости

Владимир Крупчак. Бухта радости

14 лет Федуна: Как менялся “Спартак”

14 лет Федуна: Как менялся “Спартак”