ارنست آلن امرسون
دانشمند علوم کامپیوتر و مهندس آمریکایی
ارنست آلن امرسون (انگلیسی: E. Allen Emerson؛ زادهٔ ۲ ژوئن ۱۹۵۴) یک دانشمند در زمینه علوم رایانه اهل ایالات متحده آمریکا است.
ارنست آلن امرسون | |
---|---|
زادهٔ | ۲ ژوئن ۱۹۵۴ (۶۸ سال) دالاس |
ملیت | ایالات متحده آمریکا |
محل تحصیل | دانشگاه تگزاس در آستین، دانشگاه هاروارد |
جایزه(ها) | جایزه تئوری و عملی پاریس کانلاکیس (۱۹۹۸) جایزه تورینگ (۲۰۰۷) |
پیشینه علمی | |
شاخه(ها) | علوم رایانه |
محل کار | دانشگاه تگزاس در آستین، ایالات متحده آمریکا |
در سال ۲۰۰۷ او به همراه ادموند ام کلارک و جوزف سیفاکیس برای اختراع و توسعه وارسی مدل برندهٔ جایزه تورینگ شد. او همچنین در سال ۱۹۹۸ جایزه تئوری و عملی پاریس کانلاکیس را برای بررسی مدل نمادین دریافت کرد. او مدرک کارشناس علوم خود را در رشته ریاضیات از دانشگاه تگزاس، آستین در سال ۱۹۷۶ و و مدرک دکترای خود را در ریاضیات کاربردی در دانشگاه هاروارد در سال ۱۹۸۱ دریافت کرد.
منابع
- ↑ «E. Allen Emerson - A.M. Turing Award Laureate». amturing.acm.org. دریافتشده در ۲۰۲۲-۰۶-۲۵.
- ↑ «ACM:Kannellakis Award». web.archive.org. ۲۰۱۱-۰۶-۰۵. بایگانیشده از اصلی در ۵ ژوئن ۲۰۱۱. دریافتشده در ۲۰۲۲-۰۶-۲۷.
- ↑ "E. Allen Emerson". awards.acm.org (به انگلیسی). Retrieved 2022-06-27.