إدموند كلارك
| إدموند كلارك | |
|---|---|
| (بالإنجليزية: Edmund Melson Clarke, Jr.) | |
 | |
| معلومات شخصية | |
| الميلاد | 27 يوليو 1945 نيوبورت نيوز |
| الوفاة | 22 ديسمبر 2020 (75 سنة)
[1] بيتسبرغ |
| سبب الوفاة | مرض فيروس كورونا 2019[1] |
| مواطنة |  الولايات المتحدة |
| عضوية | معهد مهندسي الكهرباء والإلكترونيات، والأكاديمية الأمريكية للفنون والعلوم[2]، والأكاديمية الوطنية للهندسة[3]، وجمعية آلات الحوسبة[4] |
| الحياة العملية | |
| المدرسة الأم | جامعة فرجينيا (التخصص:رياضيات) (الشهادة:بكالوريوس الآداب)[5] جامعة ديوك (التخصص:رياضيات) (الشهادة:ماجستير الآداب)[5] جامعة كورنيل (التخصص:علم الحاسوب) (الشهادة:دكتوراه الفلسفة)[5] |
| مشرف الدكتوراه | روبرت لي كونستابل |
| طلاب الدكتوراه |  القائمة ...بوبانسوار ميشرا ، وألين إيمرسون، وسيتشون غاو ، وديفيد ديل ، وكينيث ماكميلان ، وماريوس مينيا ، وسيرجيو فالي أغويار كامبوس ، وسوميش جها ، وزودونغ تشاو ، وديفيد إلسي لونغ ، وجيري روبرت بورش ، ومايكل براون ، وويلفريدو روجيليو ماريرو ، وأرافيندا براساد سيستلا ، وأليكس ديفيد جروس |
| التلامذة المشهورون | ألين إيمرسون |
| المهنة | عالم حاسوب، وأستاذ جامعي، ومهندس، ورياضياتي |
| اللغة الأم | الإنجليزية |
| اللغات | الإنجليزية |
| مجال العمل | معلوماتية، وعلم الحاسوب |
| موظف في | جامعة ديوك، وجامعة هارفارد، وجامعة كورنيل، وجامعة كارنيغي ميلون |
| الجوائز | |
| القائمة ... وسام بنجامين فرانكلين (2014) جائزة باور للإنجازات العلمية (2014)[6] جائزة هيربراند (2008)[7] جائزة تورنغ (2007)[8] جائزة هاري إتش غود التذكارية (2004)[9] زمالة رابطة مكائن الحوسبة (1998)[8] جائزة باريس كانيلاكيس (1998)[10] زمالة معهد مهندسي الكهرباء والإلكترونيات زمالة الأكاديمية الأمريكية للفنون والعلوم الدكتوراه الفخرية من الجامعة التقنية في فيينا | |
| المواقع | |
| الموقع | الموقع الرسمي (الإنجليزية) |
إدموند كلارك (بالإنجليزية: Edmund M. Clarke) ولد في 27 يوليو 1945 عالم حاسوب أمريكي، أستاذ علم الحاسوب في جامعة كارنيغي ميلون، فاز بجائزة تورنغ في عام 2007.
مراجع
- 1 2 "Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors" (بالإنجليزية).
- ↑ 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://awards.acm.org/fellows/award-recipients. اطلع عليه بتاريخ 2024-06-23.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - 1 2 3 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=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - 1 2 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=غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
وصلات خارجية
في كومنز مواد ذات صلة بـ إدموند كلارك.