كارولين تالكوت

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

كارولين تالكوت (مواليد 14 يونيو 1941) عالمة حاسوب أمريكية اشتهرت بأبحاثها في مجال الاستدلال الصوري ، لا سيما فيما يتعلق بالحواسيب، وتحليل الشفرات، وعلم الأحياء النظمي . تشغل حاليًا منصب مديرة برنامج مجموعة علم الأحياء النظمي الرمزي في معهد ستانفورد للأبحاث الدولي . [ 3 ] [ 4 ]

تشغل حاليًا منصب رئيسة التحرير المشاركة لمجلة الحوسبة الرمزية والحسابات ذات الرتبة العليا . [ 5 ] تزوجت تالكوت من جون مكارثي (عالم حاسوب) وأنجبت منه ابنًا. [ 6 ]

الحياة المبكرة والتعليم

وُلدت كارولين لهوارد تالكوت وهارييت لويز ميتشل، وهما من أتباع الكنيسة المشيخية من ولاية أيداهو. [ 7 ] [ 8 ] حصلت تالكوت على درجة الدكتوراه من جامعة ستانفورد عام 1985. أشرف على أطروحتها، بعنوان "جوهر RUM: نظرية الجوانب القصدية والامتدادية للحوسبة من نوع LISP" ، سولومون فيفرمان . [ 2 ]

الجوائز والعضويات

تم اختيار تالكوت كزميلة في معهد ستانفورد للأبحاث في عام 2011. [ 3 ] وهي عضوة في جمعية آلات الحوسبة وجمعية المنطق الرمزي . [ 1 ]

مراجع

  1. 1 2 3 "السيرة الذاتية لكارولين تالكوت" . جامعة ستانفورد . تم الاطلاع عليه بتاريخ 14-10-2012 .
  2. 1 2 كارولين تالكوت في مشروع علم الأنساب الرياضي
  3. 1 2 "موظفونا: كارولين تالكوت" . معهد SRI الدولي . تم الاطلاع عليه بتاريخ 14-10-2012 .
  4. ^ سيلفان، بينسكي (2011). "تكريم مساهمات كارولين تالكوت في العلوم" . في آغا، جول؛ ميسيجير، خوسيه؛ دانفي، أوليفييه (محرران). النمذجة الرسمية . برلين، هايدلبرغ: سبرينغر-فيرلاغ . ص 4 – 19. ردمك  978-3-642-24932-7.
  5. ↑ "الحسابات الرمزية والحسابات من الرتبة العليا" . سبرينغر ساينس + بيزنس ميديا. مؤرشف من الأصل بتاريخ 11 فبراير 2013. تم الاطلاع عليه بتاريخ 14 أكتوبر 2012 .
  6. ↑ "جون مكارثي 1927-2011 - مذكرات سيرية" (ملف PDF) . مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 21-12-2020.
  7. ↑ "نعي هارييت أرنولد (2003) - بورتلاند، أوريغون - صحيفة ذا أوريغونيان" . Legacy.com .
  8. ↑ "هوارد وينسلو تالكوت" .