ارنست آلن امرسون
| ارنست آلن امرسون | |
|---|---|
 | |
| زادهٔ | ۲ ژوئن ۱۹۵۴ (۶۹ سال) دالاس |
| ملیت | ایالات متحده آمریکا |
| محل تحصیل | دانشگاه تگزاس در آستین، دانشگاه هاروارد |
| جایزه(ها) | جایزه تئوری و عملی پاریس کانلاکیس (۱۹۹۸) جایزه تورینگ (۲۰۰۷) |
| پیشینه علمی | |
| شاخه(ها) | علوم رایانه |
| محل کار | دانشگاه تگزاس در آستین، ایالات متحده آمریکا |
ارنست آلن امرسون (انگلیسی: 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.
- ↑ «E. Allen Emerson - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۳-۱۱-۱۹.
- ↑ «E. Allen Emerson -- Home Page». www.cs.utexas.edu. دریافت‌شده در ۲۰۲۳-۱۱-۱۹.
- مشارکت‌کنندگان ویکی‌پدیا. «E. Allen Emerson». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۳ ژانویه ۲۰۱۷.
| عمومی | |
|---|---|
| کتابخانه‌های ملی | |
| پایگاه‌های دادهٔ علمی | |
| سایر | |
