Поделиться:

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

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


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

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

Биография

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

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

Награды

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

Комментарии

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

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Почему постоянно хочется спать? Причины сонливости

Почему постоянно хочется спать? Причины сонливости