ارنست آلن امرسون

از ویکی‌پدیا، دانشنامهٔ آزاد
ارنست آلن امرسون
زادهٔ۲ ژوئن ۱۹۵۴ ‏(۶۸ سال)
دالاس
ملیتایالات متحده آمریکا
محل تحصیلدانشگاه تگزاس در آستین، دانشگاه هاروارد
جایزه(ها)جایزه تئوری و عملی پاریس کانلاکیس (۱۹۹۸)
جایزه تورینگ (۲۰۰۷)
پیشینه علمی
شاخه(ها)علوم رایانه
محل کاردانشگاه تگزاس در آستین، ایالات متحده آمریکا

ارنست آلن امرسون (انگلیسی: E. Allen Emerson؛ زادهٔ ۲ ژوئن ۱۹۵۴) یک دانشمند در زمینه علوم رایانه اهل ایالات متحده آمریکا است.

در سال ۲۰۰۷ او به همراه ادموند ام کلارک و جوزف سیفاکیس برای اختراع و توسعه وارسی مدل برندهٔ جایزه تورینگ شد.[۱] او همچنین در سال ۱۹۹۸ جایزه تئوری و عملی پاریس کانلاکیس[۲] را برای بررسی مدل نمادین دریافت کرد.[۳] او مدرک کارشناس علوم خود را در رشته ریاضیات از دانشگاه تگزاس، آستین در سال ۱۹۷۶ و و مدرک دکترای خود را در ریاضیات کاربردی در دانشگاه هاروارد در سال ۱۹۸۱ دریافت کرد.

منابع[ویرایش]

  1. «E. Allen Emerson - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۲-۰۶-۲۵.
  2. «ACM:Kannellakis Award». web.archive.org. ۲۰۱۱-۰۶-۰۵. دریافت‌شده در ۲۰۲۲-۰۶-۲۷.
  3. "E. Allen Emerson". awards.acm.org. Retrieved 2022-06-27.