إدموند كلارك
إدموند كلارك (بالإنجليزية: Edmund M. Clarke) ولد في 27 يوليو 1945 عالم حاسوب أمريكي، أستاذ علم الحاسوب في جامعة كارنيغي ميلون، فاز بجائزة تورنغ في عام 2007.
إدموند كلارك | |
---|---|
(بالإنجليزية: Edmund Melson Clarke, Jr.) | |
إدموند كلارك سنة 2006 | |
معلومات شخصية | |
الميلاد | 27 يوليو 1945 نيوبورت نيوز |
الوفاة | 22 ديسمبر 2020 (75 سنة)
[1] بيتسبرغ |
سبب الوفاة | مرض فيروس كورونا 2019[1] |
مواطنة | الولايات المتحدة |
عضو في | معهد مهندسي الكهرباء والإلكترونيات، والأكاديمية الأمريكية للفنون والعلوم[2]، والأكاديمية الوطنية للهندسة[3]، وجمعية آلات الحوسبة |
الحياة العملية | |
المدرسة الأم | جامعة فرجينيا (التخصص:رياضيات) (الشهادة:بكالوريوس في الفنون)[4] جامعة ديوك (التخصص:رياضيات) (الشهادة:ماجستير الآداب)[4] جامعة كورنيل (التخصص:علم الحاسوب) (الشهادة:دكتور في الفلسفة)[4] |
مشرف الدكتوراه | روبرت لي كونستابل |
طلاب الدكتوراه | بوبانسوار ميشرا ، وألين إيمرسون، وسيتشون غاو ، وديفيد ديل ، وكينيث ماكميلان ، وماريوس مينيا ، وسيرجيو فالي أغويار كامبوس ، وسوميش جها ، وزودونغ تشاو ، وديفيد إلسي لونغ ، وجيري روبرت بورش ، ومايكل براون ، وويلفريدو روجيليو ماريرو ، وأرافيندا براساد سيستلا ، وأليكس ديفيد جروس |
التلامذة المشهورون | ألين إيمرسون |
المهنة | عالم حاسوب، وأستاذ جامعي، ومهندس، ورياضياتي |
اللغة الأم | الإنجليزية |
اللغات | الإنجليزية |
مجال العمل | معلوماتية، وعلم الحاسوب |
موظف في | جامعة ديوك، وجامعة هارفارد، وجامعة كورنيل، وجامعة كارنيغي ميلون |
الجوائز | |
وسام بنجامين فرانكلين (2014) جائزة باور للإنجازات العلمية (2014)[5] جائزة هيربراند (2008)[6] جائزة تورنغ (2007)[7] جائزة هاري إتش غود التذكارية (2004)[8] زمالة رابطة مكائن الحوسبة (1998)[7] جائزة باريس كانيلاكيس (1998)[9] زمالة معهد مهندسي الكهرباء والإلكترونيات زمالة الأكاديمية الأمريكية للفنون والعلوم الدكتوراه الفخرية من الجامعة التقنية في فيينا | |
المواقع | |
الموقع | الموقع الرسمي |
مراجع
- "Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors" (بالإنجليزية).
- (PDF) https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf. اطلع عليه بتاريخ 2018-09-17.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://www.cs.cmu.edu/~emc/bio.html.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://www.fi.edu/laureates/edmund-m-clarke.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://cadeinc.org/Herbrand-Award.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://awards.acm.org/award-recipients/clarke_1167964.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://www.computer.org/volunteering/awards/goode.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - https://awards.acm.org/kanellakis/award-recipients.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
وصلات خارجية
- بوابة أعلام
- بوابة الولايات المتحدة
- بوابة تقانة المعلومات
- بوابة جوائز
- بوابة علم الحاسوب
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.