إدموند كلارك
إدموند كلارك (بالإنجليزية: Edmund M. Clarke) ولد في 27 يوليو 1945 عالم حاسوب أمريكي، أستاذ علم الحاسوب في جامعة كارنيغي ميلون، فاز بجائزة تورنغ في عام 2007.
مراجع[عدل]
- ^ مُعرِّف الشبكات الاجتماعية ونظام المحتوى المؤرشف (SNAC Ark): https://snaccooperative.org/ark:/99166/w64n9jck — باسم: Edmund M. Clarke — تاريخ الاطلاع: 9 أكتوبر 2017
- ↑ أ ب Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors
- ^ https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf — تاريخ الاطلاع: 17 سبتمبر 2018
- ^ https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx
- ^ https://www.fi.edu/laureates/edmund-m-clarke
وصلات خارجية[عدل]
![]() |
في كومنز صور وملفات عن: إدموند كلارك |
تصنيفات:
- مواليد 1945
- مواليد في نيوبورت نيوز
- وفيات 2020
- وفيات بعمر 75
- حائزون على جائزة تورنغ
- زملاء الأكاديمية الأمريكية للفنون والعلوم
- زملاء رابطة مكائن الحوسبة
- زملاء معهد مهندسي الكهرباء والإلكترونيات
- أشخاص من نيوبورت نيوز
- أعضاء الأكاديمية الوطنية للهندسة في الولايات المتحدة
- أعضاء هيئة تدريس جامعة ديوك
- أعضاء هيئة تدريس جامعة كارنيغي ميلون
- خريجو جامعة ديوك
- خريجو جامعة فيرجينيا
- خريجو جامعة كورنيل
- علماء حاسوب أمريكيون
- علماء من فرجينيا
- أعضاء هيئة تدريس جامعة هارفارد
- وفيات بسبب جائحة فيروس كورونا في بنسيلفانيا