قائمة رواد علوم الكمبيوتر

📅 آخر تحديث: ٢٥ يوليو ٢٠٢٦
✍️ نُشر في: ٢٥ يوليو ٢٠٢٦
📷 يحتوي على 3 صور
الموسوعة الحرة

هذه قائمة بالأشخاص الذين حققوا إنجازات تحويلية في إنشاء وتطوير وتصور ما يمكن لأجهزة الكمبيوتر فعله.

رواد


تاريخ الإنجاز		 شخص إنجاز
1977 أدلمان، ليونارد خوارزمية RSA وجعل التشفير بالمفتاح العام مفيدًا في الممارسة العملية.
1944 ايكين، هوارد تم تصور وتصميم Harvard Mark I بالتعاون مع زميله .
830~ الخوارزمي مصطلح الخوارزمية مشتق من الخوارزمية ، وهي تقنية إجراء العمليات الحسابية باستخدام الأرقام الهندية العربية التي روج لها الخوارزمي في كتابه " في الحساب باستخدام الأرقام الهندية" . [1] [2] [3]
1970، 1989 ألين، فرانسيس إي. طورت تدوين متجه البتات ورسوم بيانية للتحكم في تدفق البرنامج ؛ أول زميلة في شركة IBM (1989)؛ أول امرأة تحصل على جائزة تورينج من ACM (2006).
1954، 1964، 1967 أمدال، جين رائد الحوسبة المركزية ؛ مصمم IBM 704 ؛ كبير مهندسي IBM System/360 . [4] [5] صاغ قانون أمدال ؛ عمل أيضًا على IBM 709 و IBM 7030 Stretch . [6]
1939 اتاناسوف، جون قام ببناء أول حاسوب رقمي إلكتروني، وهو حاسوب أتاناسوف-بيري ، على الرغم من أنه لم يكن قابلاً للبرمجة ولا مكتملاً وفقاً لنظرية تورينج .
1822، 1837 باباج، تشارلز كان أول من ابتكر مفهوم الحاسوب العام القابل للبرمجة، وصمم المحرك التحليلي ، وبنى نموذجًا أوليًا لآلة حاسبة ميكانيكية أقل قوة .
1973 باخمان، تشارلز المساهمات البارزة في تكنولوجيا قواعد البيانات . [7]
1954، 1963 باكوس، جون قاد الفريق الذي أنشأ لغة FORTRAN ( لترجمة الصيغة )، وهي أول لغة برمجة عملية عالية المستوى، وصاغ نموذج باكوس ناور الذي وصف بناء الجملة الرسمية للغة .
850~ بنو موسى ثلاثة إخوة كتبوا كتاب الحيل المبتكرة ، الذي يصف ما يبدو أنه أول آلة قابلة للبرمجة ، وهي عازف فلوت أوتوماتيكي . [8]
1960–1964 باران، بول أحد المخترعين المستقلين لمفهوم التبديل الرقمي للحزم المستخدم في الشبكات الحاسوبية الحديثة بما في ذلك الإنترنت . [9] [10] نشر سلسلة من الإحاطات والأوراق حول تقسيم المعلومات إلى "كتل رسائل" وإرسالها عبر شبكات موزعة (1960-1964). [11] [12]
1874 بودو، إميل مهندس تلغرافي فرنسي ؛ حصل على براءة اختراع شفرة بودو ، أول وسيلة للاتصال الرقمي. [13] تم تسمية وحدة سرعة المودم بود باسمه.
ستينيات القرن العشرين باور، فريدريش ل. اقترح المكدس لتقييم التعبيرات، مع إدجر دبليو ديكسترا . كان مؤثرًا في تأسيس علوم الكمبيوتر كتخصص مستقل من العلوم؛ صاغ مصطلح هندسة البرمجيات . ساهم في التحليل العددي ، وأساسيات تفسير وترجمة لغات البرمجة، ومنهجيات تطوير البرامج، وتحويل البرامج ، والتشفير .
1953 بيلمان، ريتشارد إي. عالم رياضيات تطبيقي أمريكي قدم البرمجة الديناميكية (1953)
2018 الأماكن القريبة : هينتون, جيفري ; ليكون، يان الإنجازات المفاهيمية والهندسية التي جعلت الشبكات العصبية العميقة مكونًا أساسيًا في الحوسبة [14]
1989، 1990 بيرنرز لي، تيم اخترع شبكة الويب العالمية وأرسل أول اتصال HTTP بين العميل والخادم. [15]
1995 بلوم، مانويل المساهمات في أسس نظرية التعقيد الحسابي وتطبيقها على التشفير والتحقق من البرامج [16]
1966 بوم، كورادو نظريات حول مفهوم البرمجة المنظمة .
1847، 1854 بول، جورج الجبر البولياني الرسمي ، الأساس للمنطق الرقمي وعلوم الكمبيوتر.
1947 بوث، كاثلين اخترع لغة التجميع الأولى .
1969، 1978 برينش هانسن، بير طور نظام البرمجة المتعددة RC 4000 ، والذي قدم مفهوم نواة نظام التشغيل وفصل السياسة عن الآلية ؛ وهو أول بنية نواة دقيقة فعليًا. [17] طور جهاز المراقبة بالاشتراك مع توني هوار ، وأنشأ أول تنفيذ لجهاز المراقبة. [18] نفذ أول شكل من أشكال استدعاء الإجراء عن بُعد في RC 4000، [17] وكان أول من اقترح استدعاء الإجراء عن بُعد كمفهوم هيكلي للحوسبة الموزعة . [19]
1959، 1995 بروكس، فريد مدير مشاريع IBM System/360 و OS/360 ؛ مؤلف كتاب The Mythical Man-Month .
1908 بروير، لويتزن إيجبرتوس يان أسس المنطق الحدسي ، والذي انتشر استخدامه فيما بعد في مساعدات الإثبات .
1954 بوركس، آرثر تم اقتراح تدوين البولندي العكسي مع دون وارن وجيسي رايت في عام 1954، دون علم باستخدام كونراد زوس السابق لتدوين البادئة في Z3 في عام 1941، وتم إعادة اختراعه لاحقًا بشكل مستقل بواسطة فريدريش إل. باور وإدسجر دبليو ديكسترا للاستخدام مع المكدسات .
1930 بوش، فانيفار رائد الحوسبة التناظرية؛ مبتكر مفهوم Memex ، الذي أدى إلى تطوير النص التشعبي
1951 كامينر، ديفيد بالتعاون مع جون بينكرتون ، طور جهاز الكمبيوتر LEO ، وهو أول جهاز كمبيوتر تجاري لشركة J. Lyons and Co.
1974 كاتمول، إدوين رائد في مجال الصور المولدة بالحاسوب والرسومات ثلاثية الأبعاد، والذي طور رسم الملمس ، وخوارزمية تقسيم سطح كاتمول-كلارك (مع جيم كلارك )، وخط كاتمول-روم المنحني (مع رافائيل روم) . نائب الرئيس السابق لشركة Industrial Light & Magic والمؤسس المشارك والرئيس السابق لشركة Pixar
1978 سيرف، فينت بالتعاون مع بوب كاهن ، صمم بروتوكول التحكم في الإرسال وبروتوكول الإنترنت ( TCP/IP )، وهما بروتوكولا الاتصال الأساسيان للبيانات على شبكة الإنترنت وشبكات الكمبيوتر الأخرى.
1956 تشومسكي، نعوم ساهم في علوم الكمبيوتر من خلال عمله في علم اللغويات . طور هرم تشومسكي ، مما أثر بشكل مباشر على نظرية لغة البرمجة وفروع أخرى من علوم الكمبيوتر.
1936 كنيسة، ألونزو قدم مساهمات أساسية في علوم الكمبيوتر النظرية، وتحديدًا في تطوير نظرية قابلية الحساب في شكل حساب لامدا . وبشكل مستقل عن آلان تورينج ، صاغ ما يُعرف الآن بأطروحة تشيرش-تورينج وأثبت أن المنطق من الدرجة الأولى غير قابل للحسم .
1962 كلارك، ويسلي أ. تم تصميم LINC ، أول كمبيوتر وظيفي تم تصغيره وتسعيره للمستخدمين الفرديين (1963). تعتبر العديد من ميزاته نماذج أولية لعناصر أساسية لأجهزة الكمبيوتر الشخصية.
1981 كلارك، إدموند م. تطوير نموذج التحقق والتحقق الرسمي للبرمجيات والأجهزة، مع إي. ألين إيمرسون .
1987 كوك، جون مساهمات كبيرة في تصميم المترجم ونظريته، وهندسة الأنظمة الكبيرة، وتطوير أجهزة الكمبيوتر ذات مجموعة التعليمات المخفضة (RISC)
1970 كود، إدغار ف. اقترح وصاغ نموذج العلاقات لإدارة البيانات، والأساس النظري لقواعد البيانات العلائقية
1971 كونواي، لين هندسة فائقة التعقيد مع جدولة تعليمات ديناميكية خارج الترتيب لقضايا متعددة
1967 كوك، ستيفن قام بإضفاء الطابع الرسمي على مفهوم اكتمال NP، مما ألهم قدرًا كبيرًا من الأبحاث في نظرية التعقيد الحسابي
1965 كولي، جيمس مع جون دبليو توكي ، تم إنشاء تحويل فورييه السريع
1944 كومبس، ألين صمم وبنى أجهزة كمبيوتر مارك 2 كولوسوس ؛ والتي حلت محل نسخة مارك 1 (التي كانت أول جهاز حوسبة إلكتروني رقمي في العالم)
1989 كورباتو، فرناندو ج. عمل رائد في تنظيم المفاهيم وقيادة تطوير أنظمة الكمبيوتر العامة واسعة النطاق التي تتقاسم الوقت والموارد CTSS و Multics
1964 – 1996 كراي، سيمور صمم سلسلة من أجهزة الكمبيوتر التي كانت الأسرع في العالم لعقود من الزمن؛ وأسس شركة Cray Research، التي بنت العديد منها؛ ويُنسب إليه الفضل في إنشاء صناعة أجهزة الكمبيوتر العملاقة
1978، 1993 كاتلر، ديفيد ن. رائد رئيسي في تصميم أنظمة التشغيل من خلال عمله في شركة Digital Equipment Corporation و Microsoft ، حيث كان المهندس الرئيسي لنواة VMS و Windows NT (على التوالي)
1962 دال، أولي يوهان مع كريستين نيجارد ، اخترعت لغة البرمجة الموجهة للكائنات الأولية SIMULA
1965 ديفيز، دونالد أحد المخترعين المستقلين لمفهوم التبديل الرقمي للحزم المستخدم في الشبكات الحاسوبية الحديثة بما في ذلك الإنترنت . [9] [20] ابتكر وأطلق على هذا المفهوم اسم شبكات الاتصالات بالبيانات (1965-1966). [21] [22] كانت العديد من شبكات التبديل بالحزم واسعة النطاق في السبعينيات، بما في ذلك شبكة ARPANET ، مشابهة "في جميع النواحي تقريبًا" لتصميمه الأصلي لعام 1965. [23]
1976 ديفي، ويتفيلد مساهمات أساسية في التشفير الحديث. قدمت ورقة ديفي وهيلمان الرائدة عام 1976 بعنوان "اتجاهات جديدة في التشفير" [24] أفكار التشفير بالمفتاح العام والتوقيعات الرقمية، والتي تشكل الأساس لبروتوكولات الأمان المستخدمة على الإنترنت اليوم. [25]
1968 ديكسترا، إيدجير دبليو. كان رائدًا في خوارزمية أقصر مسار ؛ وصاغ مصطلح البرمجة المنظمة ؛ واخترع إشارة المرور ؛ واقترح بشكل مشهور أن عبارة GOTO يجب اعتبارها ضارة
1918 إكليس، ويليام وجوردان ، فرانك ويلفريد حصل على براءة اختراع لدائرة تشغيل Eccles–Jordan، [26] ما يسمى بـ " القلاب ثنائي الاستقرار "، وهو لبنة أساسية لجميع خلايا الذاكرة الرقمية . تم بناؤه من الأنابيب المفرغة ، وكان مفهومهم ضروريًا لنجاح كمبيوتر فك الشفرات Colossus .
1943، 1951 إيكرت، ج. بريسبير بالتعاون مع جون ماوتشلي ، صمم وبنى جهاز ENIAC ، أول جهاز كمبيوتر حديث (إلكتروني بالكامل، مكتمل بتورنج)؛ وجهاز UNIVAC I ، أول جهاز كمبيوتر متاح تجاريًا
1981 إيمرسون، إي. ألين تطوير نموذج التحقق والتحقق الرسمي للبرمجيات والأجهزة، مع إدموند م. كلارك
1963 إنجيلبرت، دوغلاس اشتهر باختراع فأرة الكمبيوتر ، مع بيل إنجليش ؛ رائد التفاعل بين الإنسان والحاسوب، حيث قام فريق أوغمنت بتطوير النص التشعبي ، وأجهزة الكمبيوتر المتصلة بالشبكة ، والنماذج الأولية لواجهات المستخدم الرسومية.
1971 فاجين، فيديريكو صمم أول معالج تجاري وهو Intel 4004
1994 فيجينباوم، إدوارد الريادة في تصميم وبناء أنظمة الذكاء الاصطناعي واسعة النطاق، وإظهار الأهمية العملية والتأثير التجاري المحتمل لتكنولوجيا الذكاء الاصطناعي [27]
1974 فينلر، إليزابيث قادت الفريق الذي حدد تنسيق ملف نصي بسيط لأسماء مضيفات الإنترنت، والذي أصبح نظام أسماء النطاقات ؛ وأصبحت مجموعتها هي السلطة المسؤولة عن تسمية النطاقات ذات المستوى الأعلى .mil، و.gov، و.edu، و.org، و.com
1943 زهور، تومي صمم وبنى جهاز الكمبيوتر مارك الأول العملاق ، أول جهاز حاسوبي إلكتروني رقمي قابل للبرمجة في العالم
1978 فلويد، روبرت دبليو. كان له تأثير واضح على منهجيات إنشاء برامج فعالة وموثوقة؛ ساعد في تأسيس هذه المجالات الفرعية المهمة في علوم الكمبيوتر : نظرية التحليل ، ودلالات لغات البرمجة، والتحقق التلقائي للبرنامج ، والتوليف التلقائي للبرنامج ، وتحليل الخوارزميات [28]
1994 فلويد، سالي أسس مجال إدارة قائمة الانتظار النشطة؛ وشارك في اختراع الكشف المبكر العشوائي ، والذي يُستخدم في جميع أجهزة توجيه الإنترنت تقريبًا
1879 فريج، جوتلوب المنطق الأرسطي الموسع مع حساب المسندات من الدرجة الأولى بشكل مستقل عن تشارلز ساندرز بيرس ، وهو رائد أساسي في نظرية الحوسبة ؛ كما أنه ذو صلة بالعمل المبكر في مجال الذكاء الاصطناعي والبرمجة المنطقية
1985 فوربر، ستيفن
ويلسون، صوفي 		قاد إنشاء المعالج الدقيق ARM 32 بت RISC [29]
1958، 1961، 1967 جينسبيرج، سيمور أثبت أن تقليل دائرة " عدم الاهتمام " لا يؤدي بالضرورة إلى نتائج مثالية؛ أثبت أن لغة برمجة ALGOL كانت خالية من السياق (ربط نظرية اللغة الرسمية بمشكلة كتابة المترجم )؛ اخترع نظرية AFL
1931 جودل، كورت أثبت أن حسابيات بيانو لا يمكن أن تكون متسقة منطقيًا وكاملة في حساب المسندات من الدرجة الأولى . طور تشرش وكلين وتورينج أسس نظرية الحوسبة بناءً على النتائج المترتبة على عمل جودل.
1989 جولدواسر، شافي اخترعت أدلة المعرفة الصفرية مع ميكالي وراكوف ؛ وقد حصلت هي وميكالي على جائزة تورينج (2012) عن هذا العمل وعن أعمال أخرى.
2011 جراهام، سوزان ل. [ وزن غير مناسب؟ – ناقش ] حصل على ميدالية جون فون نيومان من معهد مهندسي الكهرباء والإلكترونيات لعام 2009 "لمساهماته في تصميم وتنفيذ لغة البرمجة والخدمة المثالية لتخصص علوم الكمبيوتر"
1953 جراي، فرانك قام الفيزيائي والباحث في مختبرات بيل بتطوير الكود الثنائي المنعكس (RBC) أو كود جراي . [30] تُستخدم منهجيات جراي للكشف عن الأخطاء وتصحيحها في أنظمة الاتصالات الرقمية، مثل QAM في شبكات خطوط المشتركين الرقمية .
1974، 2005 جراي، جيم مبتكر في أنظمة قواعد البيانات وتنفيذ معالجة المعاملات
1986، 1990 جروز، باربرا [ وزن غير مناسب؟ – ناقش ] أنشأ أول نموذج حسابي للخطاب ، مما أدى إلى تأسيس مجال البحث والتأثير على تقنيات معالجة اللغة؛ كما طور نموذج SharedPlans للتعاون في أنظمة متعددة الوكلاء
1988، 2015 جوستافسون، جون أثبت جدوى الحوسبة المتوازية تجريبياً ونظرياً؛ وصاغ قانون جوستافسون ؛ وطور تنسيقات عالية الكفاءة لتمثيل الأعداد الحقيقية Unum و Posit
1971 هاملتون، مارغريت تم تطوير مفاهيم البرمجيات غير المتزامنة، وجدولة الأولويات، والاختبار الشامل، والقدرة على اتخاذ القرار من خلال مشاركة الإنسان، مثل شاشات الأولوية التي أصبحت بعد ذلك الأساس لتصميم برمجيات فائقة الموثوقية
1950 هامينج، ريتشارد أنشأ حقول كود تصحيح الأخطاء ، وكود هامينج ، ومصفوفة هامينج ، ونافذة هامينج ، وأرقام هامينج ، وحزم الكرة (أو حدود هامينج )، ومسافة هامينج ؛ [31] [32] أسس مفهوم الكود المثالي [33] [34]
1956، 1958، 1974 هاندلر، فولفجانج عمل رائد في نظرية الأتمتة ، والحوسبة المتوازية ، والذكاء الاصطناعي ، وواجهات الإنسان والآلة ، والرسومات الحاسوبية ؛ أحد المهندسين المعماريين الرائدين للحاسوب العملاق TR 4  [de] ؛ اخترع مخططات هاندلر لتقليل الوظائف المنطقية ؛ ابتكر نظام تصنيف إرلانجن  [de] (ECS) لأجهزة الكمبيوتر المتوازية
2019 هانراهان، بات مساهمات أساسية في رسومات الكمبيوتر ثلاثية الأبعاد، مع تأثير ثوري على الصور المولدة بواسطة الكمبيوتر (CGI) في صناعة الأفلام والتطبيقات الأخرى
1993 هارتمانيس، جوريس أسس مجال نظرية التعقيد الحسابي [35]
1981، 1995، 1999 هيلسبيرج، أندرس مؤلف Turbo Pascal في شركة Borland ؛ كبير مهندسي Delphi ؛ مصمم ومهندس رئيسي لـ C# في Microsoft
1976 هيلمان، مارتن مساهمات أساسية في التشفير الحديث. قدمت ورقة ديفي وهيلمان الرائدة عام 1976، "اتجاهات جديدة في التشفير"، [24] أفكار التشفير بالمفتاح العام والتوقيعات الرقمية، الأساس لبروتوكولات الأمان على الإنترنت اليوم [25]
2017 هينيسي، جون ل. كان رائدًا في اتباع نهج منهجي كمي لتصميم وتقييم بنيات الكمبيوتر مع تأثير دائم على صناعة المعالجات الدقيقة
2008، 2012، 2018 هينتون، جيفري قام بترويج وتمكين استخدام الشبكات العصبية الاصطناعية والتعلم العميق ، من بين الأدوات الأكثر نجاحًا في جهود الذكاء الاصطناعي الحديثة ؛ حصل على جائزة تورينج (2018) للاختراقات المفاهيمية والهندسية التي جعلت الشبكات العصبية العميقة مكونًا أساسيًا للحوسبة [14]
1961، 1969، 1978، 1980 هواري، جمهورية أفريقيا الوسطى قام بتطوير لغة رسمية تسمى "عمليات التواصل المتسلسلة" (CSP)، ومنطق هوار للتحقق من صحة البرنامج، والفرز السريع ؛ مساهمات أساسية في تعريف وتصميم لغات البرمجة
1968 هولبرتون، بيتي كتب أول دمج فرز للحاسب الآلي الرئيسي على Univac
1889 هولريث، هيرمان يعتبر على نطاق واسع أبا معالجة البيانات الآلية الحديثة ، حيث كان اختراعه لآلة جدولة البطاقات المثقوبة بمثابة بداية عصر أنظمة معالجة البيانات شبه الآلية
1986 هوبكروفت، جون الإنجازات الأساسية في تصميم وتحليل الخوارزميات وهياكل البيانات
1952 هوبر، جريس كانت رائدة في العمل على ضرورة لغات البرمجة عالية المستوى، والتي أطلقت عليها اسم البرمجة الآلية ؛ وكتبت مُجمِّع AO ، الذي أثر بشكل كبير على لغة COBOL
1997 هسو فنغ هسيونج العمل الذي أدى إلى إنشاء كمبيوتر الشطرنج Deep Thought ؛ المهندس والمصمم الرئيسي لجهاز الشطرنج IBM Deep Blue الذي هزم بطل العالم الحالي في الشطرنج ، غاري كاسباروف ، في عام 1997
1952 هوفمان، ديفيد تم إنشاء ترميز هوفمان
1952 هورد، كوثبرت ساعد شركة IBM في تطوير أول جهاز كمبيوتر عام لها، وهو IBM 701
1945، 1953 هاسكي، هاري مساهمات في تصميم أجهزة الكمبيوتر المبكرة بما في ذلك ENIAC و EDVAC و Pilot ACE و EDVAC و SEAC و SWAC و Bendix G-15 (تم وصف الأخير بأنه أول جهاز كمبيوتر شخصي ، حيث يمكن تشغيله بواسطة شخص واحد)
1954، 1962 إيفيرسون، كينيث ساعد في تأسيس وتدريس أول دورة دراسية للدراسات العليا في علوم الكمبيوتر (في هارفارد )؛ اخترع لغة البرمجة APL ؛ مساهمات في الحوسبة التفاعلية
1801 جاكارد، جوزيف ماري تم بناء وعرض نول Jacquard ، وهو نول ميكانيكي قابل للبرمجة يتم التحكم فيه بواسطة شريط مصنوع من بطاقات مثقبة
1206 الجزري اخترع الآلات القابلة للبرمجة ، بما في ذلك الروبوتات البشرية القابلة للبرمجة ، [36] وساعة القلعة ، وهي ساعة فلكية تعتبر أول حاسوب تناظري قابل للبرمجة [37]
1989 كاهان، ويليام مساهمات أساسية في التحليل العددي ؛ الخبير الأول في الحسابات ذات الفاصلة العائمة ؛ مكرس لـ "جعل العالم آمنًا للحسابات العددية"
1978 كان، بوب صمم بروتوكول التحكم في الإرسال وبروتوكول الإنترنت ( TCP/IP )، وهما بروتوكولا الاتصال الأساسيان للبيانات في شبكة الإنترنت وشبكات الكمبيوتر الأخرى
1952، 1953 كارنو، موريس مبتكر خريطة كارنو ، وهي تنويعة على مخطط فيتش لإدوارد فيتش ؛ إعادة اكتشاف الرسم البياني المنطقي الأقدم بكثير الذي وضعه آلان ماركواند والذي استخدم لتقليل وظيفة المنطق
1985 كارب، ريتشارد م. مساهمات في نظرية الخوارزميات، بما في ذلك تطوير خوارزميات فعالة لتدفق الشبكة ومشاكل التحسين التوليفية الأخرى؛ تحديد قابلية الحساب في وقت متعدد الحدود باستخدام المفهوم البديهي للكفاءة الخوارزمية؛ المساهمة في نظرية اكتمال NP
1973 كاربينسكي، جاك قام بتطوير أول محلل تفاضلي باستخدام الترانزستورات؛ وقام بتطوير واحدة من أولى خوارزميات التعلم الآلي للتعرف على الأحرف والصور؛ وقام باختراع أحد أول أجهزة الكمبيوتر الصغيرة، K-202
1970~ كاي، آلان كان رائدًا في العديد من الأفكار التي أدت إلى ظهور لغات البرمجة الموجهة للكائنات؛ وقاد الفريق الذي طور Smalltalk ؛ وقدم مساهمات أساسية في مجال الحوسبة الشخصية
1948-1990 كيلبورن، توم عمل مع فريدي ويليامز على أنبوب ويليامز-كيلبورن وطوّر أول حاسوب إلكتروني مخزّن في العالم، وهو مانشيستر بيبي، أثناء عمله في جامعة مانشستر. دفع عمله مانشستر وبريطانيا إلى طليعة مجال علوم الكمبيوتر الناشئ. كما عمل على تطوير أطلس، أحد أقوى أجهزة الكمبيوتر العملاقة في الستينيات.
1972–1994 كيلدال، غاري قدم نظرية تحليل تدفق البيانات في تحسين المترجمين (تحسين التعبير العالمي، طريقة كيلدال ). عمل على محاكيات مجموعة التعليمات ( INTERP )، ووجد طريقة مبتكرة لنقل البرامج ( نقل حدود الصفحة )، ووضع الأساس لمفاهيم إعادة التجميع الثنائي ( XLT86 ). طور أول لغة برمجة عالية المستوى ومترجم لأجهزة الكمبيوتر الصغيرة ( PL/M ) وأول نظام تشغيل رئيسي لأجهزة الكمبيوتر الصغيرة ( CP/M ). اخترع مفهوم طبقة تجريد الأجهزة المسماة BIOS ، حيث وضع كلاهما الأساس المفاهيمي لجميع أنظمة التشغيل المستندة إلى DOS على أجهزة الكمبيوتر الشخصية . عمل على مخططات تخزين مسار الأقراص المرنة ، وخوارزميات القراءة المسبقة ، ومحركات الأقراص الافتراضية ، وتخزين نظام الملفات المؤقت . طور أول واجهة كمبيوتر لأقراص الفيديو وكان رائدًا في أنظمة ملفات CD-ROM ، حيث قدم أول موسوعة لأجهزة الكمبيوتر ( الموسوعة الإلكترونية ). كان رائداً في مجال نظام الاتصالات PBX المعياري الذي يدمج الخطوط الأرضية مع الهواتف المحمولة ( Intelliphone ) للتواصل عن بعد مع الأجهزة المنزلية .
1957 كيرش، راسل جراي أثناء عمله في المكتب الوطني للمعايير (NBS)، استخدم كيرش ماسحًا ضوئيًا للصور تم تطويره مؤخرًا لمسح وتخزين أول صورة رقمية . [38] اعتبرت مجلة لايف صورته الممسوحة ضوئيًا لابنه البالغ من العمر ثلاثة أشهر واحدة من "100 صورة غيرت العالم".
1961–1970 كلاينروك، ليونارد كان رائدًا في تطبيق نظرية الطوابير لنمذجة التأخيرات في شبكات تبديل الرسائل في أطروحته للدكتوراه في عامي 1961 و1962، والتي نُشرت ككتاب في عام 1964. [39] ونشر لاحقًا العديد من الأعمال القياسية حول هذا الموضوع. في أوائل السبعينيات، طبق نظرية الطوابير لنمذجة أداء شبكات تبديل الحزم . لعب هذا العمل دورًا مؤثرًا في تطوير شبكة ARPANET ، سلف الإنترنت . أشرف على طلاب الدراسات العليا الذين عملوا على بروتوكولات الاتصال المبكرة لشبكة ARPANET. يظل عمله النظري حول التوجيه الهرمي في أواخر السبعينيات مع الطالب فاروق كمون أمرًا بالغ الأهمية لتشغيل الإنترنت اليوم.
1936 كليين، ستيفن كول كان رائداً في العمل مع ألونسو تشرش في مجال حساب لامدا الذي وضع لأول مرة أسس نظرية الحوسبة.
1968، 1989 كنوث، دونالد كتب كتاب فن برمجة الكمبيوتر وأنشأ برنامج TeX . صاغ مصطلح "تحليل الخوارزميات" وقدم مساهمات كبيرة في هذا المجال، بما في ذلك تعميم تدوين Big O.
1990-1993 لام، سيمون س. تم إدخال لام إلى قاعة مشاهير الإنترنت (2023) من قبل جمعية الإنترنت "لاختراعه مآخذ التوصيل الآمنة في عام 1991 وتنفيذ أول طبقة مآخذ توصيل آمنة، والتي تسمى SNP، في عام 1993." [40] في عام 1990، تصور فكرة طبقة فرعية أمان جديدة في حزمة بروتوكول الإنترنت. بهذه الطريقة، لا يحتاج مبرمجو التطبيقات إلى معرفة الكثير عن تفاصيل التنفيذ للأمان. أيضًا، ستمكن الواجهة العلوية للطبقة الفرعية من إجراء تغييرات في التنفيذ في المستقبل. كانت فكرة لام عن طبقة فرعية توفر "واجهة مآخذ توصيل آمنة" للتطبيقات جديدة وانطلاقًا جذريًا عن أبحاث الأمان المعاصرة لتطبيقات الإنترنت (على سبيل المثال، Kerberos من معهد ماساتشوستس للتكنولوجيا، 1988-1992). تم إنشاء SNP لتطبيقات الإنترنت بشكل عام. اتبعت طبقات مآخذ التوصيل الآمنة اللاحقة، SSL و TLS ، التي تم تطويرها بعد سنوات للمتصفحات التجارية، نفس البنية والأفكار الرئيسية لـ SNP. اليوم، يتم استخدام TLS 1.3 ليس فقط لجميع تطبيقات التجارة الإلكترونية (الخدمات المصرفية، التسوق، وما إلى ذلك) على شبكة الويب العالمية، ولكن أيضًا للبريد الإلكتروني، والعديد من تطبيقات الإنترنت الأخرى.
1950-1960 لامار، هيدي في بداية الحرب العالمية الثانية، طورت هي والملحن جورج أنثيل نظام توجيه لاسلكي لطوربيدات الحلفاء باستخدام تقنية الطيف المنتشر والقفز الترددي للتغلب على تهديد التشويش من قبل قوى المحور . وعلى الرغم من أن البحرية الأمريكية لم تتبن هذه التقنية حتى ستينيات القرن العشرين، فإن مبادئ عملهم مدمجة في تقنية البلوتوث ونظام تحديد المواقع العالمي (GPS) وهي مماثلة للطرق المستخدمة في الإصدارات القديمة من CDMA و Wi-Fi . أدى هذا العمل إلى إدخالهم إلى قاعة مشاهير المخترعين الوطنية في عام 2014.
1974، 1978 لامبورت، ليسلي صاغ خوارزميات لحل العديد من المشاكل الأساسية في الأنظمة الموزعة (على سبيل المثال خوارزمية المخبز ).
طور مفهوم الساعة المنطقية ، مما يتيح المزامنة بين الكيانات الموزعة بناءً على الأحداث التي تتواصل من خلالها. أنشأ LaTeX .
1972 لامبسون، بتلر دبليو. تطوير بيئات الحوسبة الشخصية الموزعة والتكنولوجيا اللازمة لتنفيذها: محطات العمل ، والشبكات ، وأنظمة التشغيل ، وأنظمة البرمجة، والشاشات ، والأمن ونشر الوثائق .
1964-1966 لاندين، بيتر استخدم حساب لامدا لتحديد دلالات لغات البرمجة رسميًا، وقام بتطوير لغة برمجة وظيفية مبكرة تسمى ISWIM .
1951 ليبيديف، سيرجي أليكسيفيتش تم تصميم أول حاسوب إلكتروني في الاتحاد السوفييتي بشكل مستقل، MESM ، في كييف، أوكرانيا.
1670~ لايبنتز، جوتفريد حقق تقدمًا في المنطق الرمزي، مثل حساب التفاضل والتكامل ، والذي كان له تأثير كبير على جوتلوب فريج . لقد توقع التطورات اللاحقة في حساب المسندات من الدرجة الأولى ، والتي كانت حاسمة للأسس النظرية لعلوم الكمبيوتر.
1960 ليكليدر، جيه سي آر بدأ التحقيق في التفاعل بين الإنسان والحاسوب، مما أدى إلى العديد من التطورات في واجهات الكمبيوتر وكذلك في مجال السيبرنيتيكا والذكاء الاصطناعي .
1987 ليسكوف، باربرا تم تطوير مبدأ استبدال ليسكوف ، والذي يضمن التوافق الدلالي لأنواع البيانات في التسلسل الهرمي.
1300~ لول، رامون صمم آلات متعددة التمثيلات الرمزية، وكان رائدًا في مفاهيم التمثيل الرمزي والتلاعب لإنتاج المعرفة - وكلاهما كان له تأثير كبير على لايبنتز .
1852 لوفليس، آدا عالمة رياضيات وكاتبة إنجليزية، اشتهرت بشكل أساسي بعملها على جهاز الكمبيوتر الميكانيكي متعدد الأغراض الذي اقترحه تشارلز باباج، وهو المحرك التحليلي . كانت أول من أدرك أن الآلة لها تطبيقات تتجاوز الحساب البحت، وأنشأت أول خوارزمية مخصصة لتنفيذها بواسطة مثل هذه الآلة. ونتيجة لذلك، غالبًا ما يُنظر إليها على أنها أول من أدرك الإمكانات الكاملة لـ "آلة الحوسبة" وأول مبرمج كمبيوتر.
1909 لودجيت، بيرسي صمم تشارلز باباج في عام 1843 وبيرسي لودجيت في عام 1909 أول محركين تحليليين في التاريخ. استخدم محرك لودجيت الضرب كأساس له (باستخدام اللوغاريتمات الأيرلندية المنفصلة الخاصة به )، وكان أول من استغل المضاعف المتراكم (MAC) لإجراء القسمة، وتخزين الأرقام كإزاحات للقضبان في المكوكات، وكان لديه العديد من الميزات الجديدة الأخرى، بما في ذلك التحكم في البرنامج.
1971 مارتن لوف، بير تم نشر مسودة مبكرة عن نظرية النوع التي يعتمد عليها العديد من مساعدي الإثبات .
1943، 1951 ماوتشلي، جون بالتعاون مع ج. بريسبر إيكرت ، صمم وبنى جهاز ENIAC ، أول جهاز كمبيوتر حديث (إلكتروني بالكامل، مكتمل بنظرية تورينج)، وجهاز UNIVAC I ، أول جهاز كمبيوتر متاح تجاريًا. كما عمل أيضًا على أجهزة BINAC (1949)، وEDVAC (1949)، و UNIVAC (1951) مع جريس هوبر وجين بارتيك ، لتطوير أجهزة الكمبيوتر ذات البرامج المخزنة المبكرة .
1958 مكارثي، جون اخترع لغة LISP ، وهي لغة برمجة وظيفية .
1956، 2012 ماكلوسكي، إدوارد ج. المساهمات الأساسية التي ساهمت في تشكيل تصميم واختبار الأنظمة الرقمية، بما في ذلك أول خوارزمية لتوليف المنطق الرقمي، وطريقة تقليل المنطق كوين-ماكلوسكي.
1986 ماير، برتراند تم تطوير التصميم عن طريق العقد تحت ستار لغة البرمجة إيفل .
2012 ميكالي، سيلفيو لعمله التحويلي الذي أرسى أسس نظرية التعقيد لعلم التشفير، وفي هذه العملية كان رائدًا في إيجاد طرق جديدة للتحقق الفعال من البراهين الرياضية في نظرية التعقيد.
1991 ميلنر، روبن 1) LCF ، آلية منطق الوظائف القابلة للحساب لسكوت، ربما أول أداة نظرية وعملية لبناء الإثبات بمساعدة الآلة ؛ 2) ML ، أول لغة تتضمن استدلال النوع المتعدد الأشكال مع آلية معالجة استثناءات آمنة للنوع ؛ 3) CCS ، نظرية عامة للتزامن . بالإضافة إلى ذلك، صاغ وطور بقوة التجريد الكامل ، دراسة العلاقة بين الدلالات التشغيلية والدلالية . [41]
1963 مينسكي، مارفن المؤسس المشارك لمختبر الذكاء الاصطناعي في معهد ماساتشوستس للتكنولوجيا ، ومؤلف العديد من النصوص حول الذكاء الاصطناعي والفلسفة. ناقد للبيرسيبترون .
1968 مور، تشارلز هـ. مخترع لغة البرمجة فورث .
2008 ناكاموتو، ساتوشي المبدعون المجهولون لعملة البيتكوين ، أول عملة رقمية من نظير إلى نظير . قدم ناكاموتو في ورقته البيضاء لعام 2008 مفهوم blockchain ، وهو هيكل قاعدة بيانات يسمح بالثقة الكاملة في دفتر المعاملات العامة اللامركزي والموزع للعملة المشفرة. [42]
1934، 1938 ناكاشيما أكيرا قدم مهندس شركة NEC نظرية الدائرة التبديلية في أوراق بحثية من عام 1934 إلى عام 1936، مما أرسى الأسس لتصميم الدوائر الرقمية ، في أجهزة الكمبيوتر الرقمية وغيرها من مجالات التكنولوجيا الحديثة.
1960 نور، بيتر تم تحرير تقرير ALGOL 60 المنقح، مع تقديم نموذج Backus-Naur
1945 نيومان، جون فون قام بصياغة بنية فون نيومان التي تعتمد عليها معظم أجهزة الكمبيوتر الحديثة.
1956 نيويل، ألين بالاشتراك مع JC Shaw [43] وHerbert Simon، قام الثلاثة بكتابة Logic Theorist، أول برنامج ذكاء اصطناعي حقيقي، بلغة معالجة القوائم الأولى، والتي أثرت على لغة LISP.
1943 نيومان، ماكس بدأ إنتاج أجهزة الكمبيوتر العملاقة في حديقة بلتشلي . وبعد الحرب العالمية الثانية، أسس مختبر آلات الحوسبة في جامعة مانشستر ، حيث أنشأ المشروع الذي بنى أول جهاز كمبيوتر في العالم يعمل ببرامج مخزنة ، وهو جهاز مانشستر بيبي .
1962 نيجارد، كريستين مع أولي يوهان دال ، اخترع لغة البرمجة الموجهة للكائنات SIMULA .
1642 باسكال، بليز اخترع الآلة الحاسبة الميكانيكية .
القرن الخامس قبل الميلاد بانيني اخترع أول قواعد النحو الرسمية . كما قدم أشكالًا مبكرة من صيغة باكوس ناور [44]
2017 باترسون، ديفيد لمساهمته في إيجاد نهج كمي منهجي لتصميم وتقييم هياكل الكمبيوتر ذات التأثير الدائم على صناعة المعالجات الدقيقة.
2011 لؤلؤة، يهودا المساهمات الأساسية في الذكاء الاصطناعي من خلال تطوير حساب التفاضل والتكامل للاستدلال الاحتمالي والسببي. [45]
1952 بيرليس، آلان في مشروع Whirlwind ، عضو الفريق الذي طور لغة البرمجة ALGOL ، والحاصل الأول على جائزة تورينج
1985 بيرلمان، راديا اخترعت بروتوكول شجرة الامتداد (STP)، وهو أساسي لتشغيل جسور الشبكة ، أثناء عملها في شركة Digital Equipment Corporation . أجرت أبحاثًا مكثفة ومبتكرة، وخاصة في مجال التشفير والشبكات. حصلت على جائزة USENIX Lifetime Achievement Award في عام 2007، من بين العديد من الجوائز الأخرى.
1964 بيروتو، بيير جورجيو [ وزن غير مناسب؟ – ناقش ] مصمم كمبيوتر لشركة أوليفيتي ، صمم إحدى أول الآلات الحاسبة الإلكترونية القابلة للبرمجة ، وهي Programma 101 [46] [47] [48]
1932 بيتر، روزسا نشر سلسلة من الأوراق البحثية التي تؤسس لنظرية التكرار كمجال منفصل للبحث الرياضي، مما وضع الأساس لعلوم الكمبيوتر النظرية.
1995 بيكارد، روزاليند [ وزن غير مناسب؟ – ناقش ] أسس الحوسبة العاطفية ، ووضع الأسس لتزويد أجهزة الكمبيوتر بمهارات الذكاء العاطفي.
1996 بنويلي، أمير إدخال المنطق الزمني في علوم الحوسبة وللمساهمات البارزة في التحقق من البرامج والأنظمة . [49]
1936 بوست، إميل ل. قام بتطوير آلة بوست كنموذج للحساب، بشكل مستقل عن تورينج. كما اشتهر بتطوير جداول الحقيقة ، ومشكلة المراسلات التي استخدمها بوست في نظرية التكرار، فضلاً عن إثبات ما يُعرف باسم نظرية بوست .
1976 رابين، مايكل أو. الورقة المشتركة "الآلات المحدودة ومشاكل اتخاذ القرار الخاصة بها"، [50] والتي قدمت فكرة الآلات غير الحتمية ، والتي أثبتت أنها مفهوم قيم للغاية. كانت ورقتهم الكلاسيكية (سكوت ورابين) مصدر إلهام مستمر للأعمال اللاحقة في هذا المجال. [51] [52]
1994 ريدي، راج الريادة في تصميم وبناء أنظمة الذكاء الاصطناعي واسعة النطاق، مما يدل على الأهمية العملية والتأثير التجاري المحتمل لتكنولوجيا الذكاء الاصطناعي. [27]
1967–2011 ريتشي، دينيس بالتعاون مع كين تومسون ، كان رائداً في تطوير لغة البرمجة C ونظام تشغيل الكمبيوتر Unix في مختبرات Bell Labs.
1977 ريفست، رون مساهمة مبتكرة في جعل التشفير بالمفتاح العام مفيدًا في الممارسة العملية.
1958–1960 روزن، شاول صمم برنامج أول حاسوب يعتمد على الترانزستور. كما أثر على لغة البرمجة ALGOL.
1975، 1985 روبين، فيليب قام بتطوير أنظمة رائدة في مجال توليف الكلام الحاسوبي لاستخدامها في الدراسة التجريبية لإدراك الكلام وإنتاجه، بما في ذلك التوليف النطقي وتوليف الموجة الجيبية . كما قام بتصميم نظام معالجة الإشارات HADES ، وهو سلف MATLAB .
1910 راسل، برتراند ساهم في علوم الكمبيوتر من خلال عمله في المنطق الرياضي (مثال: دالة الحقيقة ). قدم مفهوم نظرية النوع . كما قدم نظام النوع (جنبًا إلى جنب مع ألفريد نورث وايتهيد ) في عمله، مبادئ الرياضيات .
1975 سالتون، جيرارد [ وزن غير مناسب؟ – ناقش ] رائد في مجال استرجاع المعلومات التلقائي ، وهو الذي اقترح نموذج الفضاء المتجهي والمؤشر المقلوب .
1962 ساميت، جان إي. طورت لغة البرمجة FORMAC . وكانت أيضًا أول من كتب على نطاق واسع عن تاريخ وتصنيف لغات البرمجة في عام 1969، وأصبحت أول رئيسة لجمعية آلات الحوسبة في عام 1974.
1880، 1898 ساندرز بيرس، تشارلز أثبت اكتمال الوظيفة لبوابة NOR . اقترح تنفيذ المنطق عبر الدوائر الكهربائية، قبل عقود من كلود شانون . منطق أرسطو الموسع مع حساب التفاضل والتكامل من الدرجة الأولى ، بشكل مستقل عن جوتلوب فريج ، وهو رائد حاسم في نظرية الحوسبة . كما أنه ذو صلة بالعمل المبكر في مجال الذكاء الاصطناعي والبرمجة المنطقية .
1976 سكوت، دانا الورقة المشتركة "الآلات المحدودة ومشاكل اتخاذ القرار الخاصة بها"، [50] والتي قدمت فكرة الآلات غير الحتمية ، والتي أثبتت أنها مفهوم قيم للغاية. كانت ورقتهم الكلاسيكية (سكوت ورابين) مصدر إلهام مستمر للأعمال اللاحقة في هذا المجال. [51] [52]
1977 شامير، عدي مساهمة مبتكرة في جعل التشفير بالمفتاح العام مفيدًا في الممارسة العملية.
1937، 1948 شانون، كلود أسس نظرية المعلومات ، ووضع الأسس لتصميم الدوائر الرقمية العملية.
1971 شيما ماساتوشي صمم معالج Intel 4004 ، أول معالج تجاري ، [53] [54] بالإضافة إلى معالجات Intel 8080 و Zilog Z80 و Zilog Z8000 ، وشرائح Intel 8259 و 8255 و 8253 و 8257 و 8251 . [55]
2007 سيفاكيس، جوزيف تطوير فحص النموذج إلى تقنية تحقق فعالة للغاية، تم اعتمادها على نطاق واسع في صناعات الأجهزة والبرامج. [56]
1956، 1957 سيمون، هربرت أ. عالم سياسي واقتصادي رائد في مجال الذكاء الاصطناعي . شارك في إنشاء برنامج Logic Theory Machine وبرنامج General Problem Solver .
1953 سبارك جونز، كارين [ وزن زائد؟ – ناقش ] أحد رواد استرجاع المعلومات ومعالجة اللغة الطبيعية .
1972 ستالمان، ريتشارد أطلق ستالمان مشروع جنو في سبتمبر 1983 لإنشاء نظام تشغيل حاسوبي شبيه بنظام يونكس ويتكون بالكامل من برمجيات حرة. وبهذا أطلق أيضًا حركة البرمجيات الحرة .
1993 ستيرنز، ريتشارد إي. أساسيات مجال نظرية التعقيد الحسابي . [35]
1981 ستيبانوف، الكسندر يعد ستيبانوف أحد رواد البرمجة العامة وهو أيضًا المصمم والمنفذ الأساسي لمكتبة القوالب القياسية C++ .
1937، 1941 ستيبيتز، جورج ر. أبو الحوسبة الرقمية الحديثة ودخول الوظائف عن بعد . صاغ مصطلح "رقمي". اكتشف الكود الثنائي المنعكس المعروف باسم كود جراي . كما سمي كود Excess-3 باسمه ( كود ستيبيتز ).
1982 ستونبريكر، مايكل أحدث ثورة في مجال أنظمة إدارة قواعد البيانات (DBMSs) وأسس العديد من شركات قواعد البيانات الناجحة
1979 ستروستروب، بيارني اخترع لغة البرمجة C++ في مختبرات Bell
1963 سوثرلاند، إيفان مؤلف برنامج Sketchpad ، وهو سلف برامج الرسم بمساعدة الكمبيوتر (CAD) الحديثة وأحد الأمثلة المبكرة للبرمجة الموجهة للكائنات .
1986 تارجان، روبرت الإنجازات الأساسية في تصميم وتحليل الخوارزميات وهياكل البيانات.
1973 ثاكر، تشارلز ب. كان رائداً في تصميم وتنفيذ جهاز Xerox Alto ، أول جهاز كمبيوتر شخصي حديث، بالإضافة إلى مساهماته في تطوير تقنية Ethernet والكمبيوتر اللوحي.
1972، 1973 ثي، أندريه ترونج ترونج وفرانسوا جيرنيل [ وزن زائد؟ – مناقشة ] اختراع جهاز Micral N ، وهو أقدم جهاز كمبيوتر شخصي تجاري غير متضمن في مجموعة أدوات، ويعتمد على المعالج الدقيق .
1967 تومسون، كين أنشأ نظام التشغيل يونكس ، ولغة البرمجة B ، ونظام التشغيل Plan 9 ، وأول آلة تحصل على تصنيف الماجستير في لعبة الشطرنج، وترميز UTF-8 في مختبرات Bell، ولغة البرمجة Go في Google.
1993 توه، تشاي كيونغ أنشأ شبكات لاسلكية مخصصة للهواتف المحمولة؛ ونفذ أول شبكة لاسلكية مخصصة لأجهزة الكمبيوتر المحمولة في عام 1998 باستخدام نظام التشغيل Linux وأجهزة الراديو Lucent WaveLan 802.11 وبروتوكول توجيه موزع جديد شفاف لـ TCP/UDP/IP.
1912، 1914 توريس كيفيدو، ليوناردو في عام 1912، بنى ليوناردو توريس كيفيدو El Ajedrecista ( لاعب الشطرنج )، وهو أحد أوائل الآلات المستقلة القادرة على لعب الشطرنج. وعلى عكس The Turk and Ajeeb التي يديرها الإنسان ، كان El Ajedrecista آلة آلية حقيقية صُممت للعب الشطرنج دون توجيه بشري. ولعبت اللعبة النهائية بثلاث قطع شطرنج، وحركت تلقائيًا ملكًا أبيض ورخًا لإسقاط الملك الأسود الذي يحركه خصم بشري. في عمله Essays on Automatics ، الذي نُشر عام 1914، صاغ توريس كيفيدو ما سيكون فرعًا جديدًا من الهندسة: الأتمتة وصمم نسخة كهروميكانيكية من المحرك التحليلي لباباج والذي قدم الحسابيات ذات النقطة العائمة .
1991 تورفالدز، لينوس تم إنشاء الإصدار الأول من نواة لينكس .
1965 توكي، جون دبليو. مع جيمس كولي ، ابتكر تحويل فورييه السريع . واخترع مصطلح "بت". [57]
1936 تورينج، آلان قدم العديد من المساهمات الأساسية في علوم الكمبيوتر النظرية، بما في ذلك نموذج الحوسبة لآلة تورينج ، وتصور مفهوم البرنامج المخزن وتصميم تصميم ACE عالي السرعة . وبصرف النظر عن ألونزو تشرش ، صاغ أطروحة تشرش-تورينج وأثبت أن المنطق من الدرجة الأولى غير قابل للحسم . كما استكشف القضايا الفلسفية المتعلقة بالذكاء الاصطناعي ، واقترح ما يُعرف الآن باختبار تورينج .
2010 شجاع، ليزلي مساهمات تحويلية في نظرية الحوسبة ، بما في ذلك نظرية التعلم الصحيح تقريبًا ( PAC )، وتعقيد العد والحوسبة الجبرية، ونظرية الحوسبة المتوازية والموزعة.
1875، 1875 فيريا، رامون صمم وحصل على براءة اختراع جهاز Verea Direct Multiplier، وهو أول جهاز ميكانيكي مباشر متعدد الأغراض.
1950~ وانغ آن قدم مساهمات رئيسية في تطوير الذاكرة الأساسية المغناطيسية .
1955، ستينيات القرن العشرين، 1974 وير، ويليس شارك في تصميم JOHNNIAC . ترأس اللجنة التي طورت قانون ممارسات المعلومات العادلة وأدت إلى قانون الخصوصية لعام 1974. نائب رئيس لجنة دراسة حماية الخصوصية.
1964، 1966 ويزنباوم، جوزيف أحد آباء الذكاء الاصطناعي الحديث . مبتكر برنامج ELIZA الذي يستخدم معالجة اللغة الطبيعية لمحاكاة المحادثات مع طبيب نفساني .
1968 واينجاردن، أدريان فان مطور قواعد W المستخدمة لأول مرة في تعريف ALGOL 68
1949 ويلكس، موريس قام ببناء أول حاسوب عملي لتخزين البرامج ( EDSAC ) ليتم إكماله ويتم منحه الفضل في أفكار العديد من هياكل لغات البرمجة عالية المستوى.
1970 ويلكنسون، جيمس هـ. البحث في التحليل العددي لتسهيل استخدام الكمبيوتر الرقمي عالي السرعة، وقد حصل على تقدير خاص لعمله في العمليات الحسابية في الجبر الخطي وتحليل الأخطاء "العكسية". [58]
1970، 1978 ويرث، نيكلاوس صمم لغات البرمجة Pascal و Modula-2 و Oberon .
2000 ياو، أندرو مساهمات أساسية في نظرية الحساب ، بما في ذلك نظرية التعقيد القائمة على توليد الأرقام العشوائية ، والتشفير ، وتعقيد الاتصالات .
1955–1958 زيمانيك، هاينز قام بتطوير أول جهاز كمبيوتر ترانزستوري كامل، Mailüfterl . وكان له دور حاسم في إنشاء التعريف الرسمي للغة البرمجة PL/I .
1938، 1945 زوس، كونراد بنى أول حاسوب رقمي قابل للبرمجة بحرية، وهو Z1 . بنى أول حاسوب وظيفي يتم التحكم فيه بواسطة برنامج، وهو Z3 في عام 1941. [59] وقد استخدم Z3 بالفعل ما أصبح يُعرف لاحقًا باسم التدوين البولندي العكسي ، وقد ثبت أنه مكتمل تورينج في عام 1998. أنتج أول حاسوب تجاري في العالم، وهو Z4 . صمم أول لغة برمجة عالية المستوى، وهي Plankalkül .

~ العناصر التي تم وضع علامة عليها بعلامة التلدة هي تواريخ تقريبية.

انظر أيضا

مراجع

  1. ^ ماريو توكورو، محرر (2010). "9". هـ: من فهم المبادئ إلى حل المشكلات . دار نشر آي أو إس. ص 223-224. رقم ISBN 978-1-60750-468-9.
  2. ^ كريستوفر مور؛ ستيفان ميرتنز (2011). طبيعة الحوسبة . دار نشر جامعة أكسفورد. ص 36. ISBN 978-0-19-162080-5.
  3. ^ AP Ershov, Donald Ervin Knuth, ed. (1981). Algorithms in modern mathematical and computer science: actions, Urgench, Uzbek SSR, 16–22 September 1979 . Springer. ISBN 978-3-540-11157-3.
  4. ^ "وفاة الدكتور جين أمدال، خريج جامعة ويسكونسن ورائد الحوسبة المركزية، عن عمر يناهز 92 عامًا". قسم الفيزياء . 2015-11-12 . تم الاسترجاع في 2024-09-20 .
  5. ^ "نظام IBM/360 | IBM". www.ibm.com . تم الاسترجاع في 2024-09-20 .
  6. ^ "GENE M. AMDAHL 1922–2015". موقع الأكاديمية الوطنية للهندسة . تم الاسترجاع في 2024-09-20 .
  7. ^ Bachman, CW (1973). "المبرمج كملاح". اتصالات ACM . 16 (11): 653–658. doi : 10.1145/355611.362534 .
  8. ^ كوتسير، تيون (2001). "حول ما قبل تاريخ الآلات القابلة للبرمجة: الآلات الموسيقية الآلية، والنول، والآلات الحاسبة". نظرية الميكانيكا والآلة . 36 (5): 589-603. doi :10.1016/S0094-114X(01)00005-2.
  9. ^ "القصة الحقيقية لكيفية تعرض الإنترنت للخطر". واشنطن بوست . 30 مايو 2015. مؤرشف من الأصل في 30 مايو 2015. تم الاسترجاع في 18 فبراير 2020. يعزو المؤرخون الرؤى الرائدة إلى العالم الويلزي دونالد دبليو ديفيز والمهندس الأمريكي بول باران
  10. ^ "تفاصيل المكرمين - بول باران". قاعة المشاهير الوطنية للمخترعين. مؤرشف من الأصل في 2017-09-06 . تم الاسترجاع في 2017-09-06 .
  11. ^ باران، بول (2002). "بدايات تحويل الحزم: بعض المفاهيم الأساسية" (PDF) . مجلة IEEE للاتصالات . 40 (7): 42–48. doi :10.1109/MCOM.2002.1018006. ISSN  0163-6804. تم تحديد كل العمل بشكل أساسي بحلول عام 1961، وتم توضيحه ووضعه في شكل مكتوب رسمي في عام 1962. تعود فكرة توجيه البطاطس الساخنة إلى أواخر عام 1960.
  12. ^ مونيكا، 1776 شارع ماين سانتا؛ كاليفورنيا 90401-3208. "بول باران وأصول الإنترنت". www.rand.org . تم الاسترجاع في 2020-02-15 .{{cite web}}:CS1 maint: أسماء رقمية: قائمة المؤلفين ( الرابط )
  13. ^ “جان موريس – إميل بودو. نظام التلغراف السريع، يونيو ١٨٧٤. بريفيه ١٠٣٨٩٨؛ المصدر: معهد المحفوظات الوطني للملكية الصناعية (INPI)”. مؤرشفة من الأصلي بتاريخ 2017-12-16 . تم الاسترجاع 2019-07-21 .
  14. ^ آباء ثورة التعلم العميق يحصلون على جائزة ACM AM Turing
  15. ^ ماكفرسون، ستيفاني سامارتينو (2009-09-01). تيم بيرنرز لي: مخترع شبكة الويب العالمية. كتب القرن الحادي والعشرين. رقم ISBN 978-0-8225-7273-2.
  16. ^ "AM Turing Award Laureate – Manuel Blum". amturing.acm.org . تم الاسترجاع في 2018-11-04 .
  17. ^ أ ب “لكل برينش هانسن • جمعية IEEE للكمبيوتر”. Computer.org . تم الاسترجاع 2015/12/15 .
  18. ^ برينش هانسن، بير (أبريل 1993). "الشاشات ولغة باسكال المتزامنة: تاريخ شخصي" (PDF) . المؤتمر الثاني لجمعية مكائن ​​الحوسبة حول تاريخ لغات البرمجة .
  19. ^ برينش هانسن، بير (نوفمبر 1978). "العمليات الموزعة: مفهوم البرمجة المتزامنة" (PDF) . اتصالات ACM . 21 (11): 934–941. CiteSeerX 10.1.1.107.3108 . doi :10.1145/359642.359651. S2CID  11610744. 
  20. ^ "تفاصيل المكرمين - دونالد واتس ديفيز". قاعة المشاهير الوطنية للمخترعين. مؤرشف من الأصل في 2017-09-06 . تم الاسترجاع في 2017-09-06 .
  21. ^ روبرتس، دكتور لورانس ج. (نوفمبر 1978). "تطور تبديل الحزم". مؤرشف من الأصل في 2016-03-24 . تم الاسترجاع في 2017-09-05 . بعد اجتماع عام 1965 مباشرة تقريبًا، تصور دونالد ديفيز تفاصيل نظام تبديل الحزم بالتخزين والتوجيه؛ روبرتس، دكتور لورانس ج. (مايو 1995). "شبكة ARPANET وشبكات الكمبيوتر". مؤرشف من الأصل في 2016-03-24 . تم الاسترجاع 2016-04-13 . ثم في يونيو 1966، كتب ديفيز ورقة داخلية ثانية، "اقتراح لشبكة اتصالات رقمية" حيث صاغ كلمة الحزمة، وهي جزء فرعي صغير من الرسالة التي يريد المستخدم إرسالها، كما قدم مفهوم "كمبيوتر الواجهة" للجلوس بين معدات المستخدم وشبكة الحزمة.
  22. ^ دونالد ديفيز (2001)، "دراسة تاريخية لبدايات التبديل الحزمي"، مجلة الكمبيوتر، الجمعية البريطانية للكمبيوتر[ رابط معطل ]
  23. ^ روبرتس، دكتور لورانس ج. (نوفمبر 1978). "تطور تبديل الحزم" (PDF) . ورقة بحثية مقدمة من IEEE . مؤرشف من الأصل (PDF) في 2018-12-31 . تم الاسترجاع في 2017-09-17 . في جميع النواحي تقريبًا، كان اقتراح ديفيز الأصلي، الذي تم تطويره في أواخر عام 1965، مشابهًا للشبكات الفعلية التي يتم بناؤها اليوم.
  24. ^ ab Diffie, W.; Hellman, M. (1976). "اتجاهات جديدة في التشفير" (PDF) . IEEE Transactions on Information Theory . 22 (6): 644–654. CiteSeerX 10.1.1.37.9720 . doi :10.1109/TIT.1976.1055638. 
  25. ^ "رواد التشفير يحصلون على جائزة ACM AM Turing لعام 2015". ACM.
  26. ^ ويليام هنري إكليس وفرانك ويلفريد جوردان، "تحسينات في المرحلات الأيونية" رقم براءة الاختراع البريطانية: GB 148582 (تم تقديم الطلب: 1918-06-21؛ تم النشر: 1920-08-05). متوفر على الإنترنت على: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582 .
  27. ^ ab Reddy, R. (1996). "أن نحلم بالحلم الممكن". اتصالات ACM . 39 (5): 105–112. doi : 10.1145/229459.233436 .
  28. ^ فلويد، ر.و. (1979). "نماذج البرمجة". اتصالات رابطة مكائن ​​الحوسبة . 22 (8): 455-460. doi : 10.1145/359138.359140 .
  29. ^ "متحف تاريخ الكمبيوتر | جوائز الزملاء – ستيف فوربر". مؤرشف من الأصل في 2013-04-02.
  30. ^ جراي، فرانك (1953-03-17). "اتصالات رمز النبض" (PDF) .براءة اختراع أمريكية رقم 2,632,058
  31. ^ مورجان 1998، ص 973-975.
  32. ^ هامينغ 1950، ص 147-160.
  33. ^ لينج وشينغ 2004، ص 82-88.
  34. ^ بليس 1982، ص 21-24.
  35. ^ ab Stearns, RE (1994). "محاضرة جائزة تورينج: لقد حان الوقت لإعادة النظر في الوقت". اتصالات جمعية الحوسبة الآلية . 37 (11): 95-99. doi : 10.1145/188280.188379 .
  36. ^ "articles58". Shef.ac.uk . 2007-06-29. مؤرشف من الأصل في 2007-06-29 . تم الاسترجاع في 2017-10-25 .
  37. ^ "اكتشافات قديمة، الحلقة 11: الروبوتات القديمة". قناة التاريخ . تم الاسترجاع في 2008-09-06 .[ رابط يوتيوب ميت ]
  38. ^ كيرش، راسل أ.، "أقدم معالجة للصور"، متحف المعهد الوطني للمعايير والتكنولوجيا؛ SEAC وبداية معالجة الصور في المكتب الوطني للمعايير ، المعهد الوطني للمعايير والتكنولوجيا ، مؤرشف من الأصل في 2014-07-19
  39. ^ كلاينروك، ليونارد (1961)، "تدفق المعلومات في شبكات الاتصالات الكبيرة"، تقرير التقدم ربع السنوي لـ RLE (1)
  40. ^ سيمون إس لام، عضو قاعة مشاهير الإنترنت لعام 2023
  41. ^ ميلنر، ر. (1993). "عناصر التفاعل: محاضرة جائزة تورينج". اتصالات رابطة مكائن ​​الحوسبة . 36 : 78–89. doi : 10.1145/151233.151240 .
  42. ^ ناكاموتو، ساتوشي (2009-05-24). ""بيتكوين: نظام نقدي إلكتروني من نظير إلى نظير"" (PDF)" (PDF) . bitcoin.org .
  43. ^ فريد جوزيف جرونبرجر، تاريخ جونياك، مذكرة راند رقم 5654
  44. ^ كاك، سوبهاش سي. (يناير 1987). "النهج البانيني لمعالجة اللغة الطبيعية". المجلة الدولية للاستدلال التقريبي . 1 (1): 117-130. doi : 10.1016/0888-613X(87)90007-7 .
  45. ^ "لؤلؤة يهودا". ACM.
  46. ^ "آلة حاسبة إلكترونية Olivetti Programma 101". متحف الآلة الحاسبة القديمة على شبكة الإنترنت . من الناحية الفنية، كانت الآلة عبارة عن آلة حاسبة قابلة للبرمجة، وليست جهاز كمبيوتر.
  47. ^ "2008/107/1 كمبيوتر، برنامج 101، ووثائق (3)، مكونات بلاستيكية / معدنية / ورقية / إلكترونية، مهندس الأجهزة بيير جورجيو بيروتو، صممه ماريو بيليني، صنعته أوليفيتي، إيطاليا، 1965-1971". www.powerhousemuseum.com . تم الاسترجاع في 2016-03-20 .
  48. ^ "آلة حاسبة إلكترونية Olivetti Programma 101". متحف الآلة الحاسبة القديمة على شبكة الإنترنت . يبدو أن آلة حاسبة Mathatronics Mathatron سبقت [ كذا ] آلة Programma 101 في السوق.
  49. ^ "AM Turing Award Laureate – Amir Pnueli". amturing.acm.org . تم الاسترجاع في 2018-11-04 .
  50. ^ ab Rabin, MO; Scott, D. (1959). "الأتمتة المحدودة ومشاكل اتخاذ القرار الخاصة بها". مجلة IBM للبحث والتطوير . 3 (2): 114. doi :10.1147/rd.32.0114. S2CID  3160330.
  51. ^ ab Rabin, MO (1977). "تعقيد العمليات الحسابية". Communications of the ACM . 20 (9): 625–633. doi : 10.1145/359810.359816 .
  52. ^ ab Scott, DS (1977). "لغات المنطق والبرمجة". اتصالات ACM . 20 (9): 634–641. doi : 10.1145/359810.359826 .
  53. ^ نايجل توت. "آلة حاسبة Busicom 141-PF ومعالج Intel 4004 الدقيق" . تم الاسترجاع في 15 نوفمبر 2009 .
  54. ^ Federico Faggin ، صنع أول معالج دقيق، مجلة IEEE Solid-State Circuits ، شتاء 2009، IEEE Xplore
  55. ^ اليابان، جمعية معالجة المعلومات. "متحف شيما ماساتوشي للكمبيوتر". Museum.ipsj.or.jp . تم الاسترجاع في 2017-10-25 .
  56. ^ الإعلان عن الفائزين بجائزة تورينج لعام 2007
  57. ^ كلود شانون (1948). "المجلة التقنية لنظام بيل". المجلة التقنية لنظام بيل .
  58. ^ Wilkinson, JH (1971). "بعض التعليقات من محلل رقمي". مجلة ACM . 18 (2): 137–147. doi : 10.1145/321637.321638 . S2CID  37748083.
  59. ^ كوبلاند، ب. جاك (2017-10-25). زالتا، إدوارد ن. (محرر). موسوعة ستانفورد للفلسفة. مختبر أبحاث الميتافيزيقا، جامعة ستانفورد . تم الاسترجاع في 2017-10-25 – عبر موسوعة ستانفورد للفلسفة.

مصادر

  • هامينج، ريتشارد دبليو. (1950). "رموز اكتشاف الأخطاء وتصحيحها" (PDF) . مجلة بيل التقنية للنظام . 29 (2): 147–160. doi :10.1002/j.1538-7305.1950.tb00463.x. MR  0035935. S2CID  61141773. مؤرشف من الأصل (PDF) في 25 مايو 2006.
  • لينج، سان؛ شينغ، تشاوبينغ (2004). نظرية الترميز: دورة أولى . كامبريدج: مطبعة جامعة كامبريدج. رقم ISBN 978-0-521-82191-9.
  • بليس، فيرا (1982). مقدمة إلى نظرية أكواد تصحيح الأخطاء . نيويورك: وايلي. ISBN 978-0-471-08684-0.
  • مورجان، صامويل ب. (سبتمبر 1998). "ريتشارد ويسلي هامينج (1915-1998)" (PDF) . إشعارات الجمعية الأمريكية للطب . 45 (8): 972-977. ISSN  0002-9920 . تم الاسترجاع في 2014-08-30 .
  • رواد الانترنت
تم الاسترجاع من "https://en.wikipedia.org/w/index.php?title=قائمة_رواد_علم_الحاسوب&oldid=1247098934"
Original text
Rate this translation
Your feedback will be used to help improve Google Translate