كاترينا يوشينكو

السيرة

ومن جهة أخرى، وُلدت كاترينا يوشينكو (اسمها قبل الزواج رفاتشيفا) عام 1919 في تشيهيرين، وسط أوكرانيا. بدأت دراستها الجامعية في جامعة كييف عام 1937، وخلال الحرب العالمية الثانية التحقت بجامعة آسيا الوسطى الحكومية في طشقند، وتخرجت عام 1942. بعد الحرب، عادت إلى أوكرانيا، وفي سنة 1950، تحت إشراف بوريس غنيدينكو، حصلت على درجة الدكتوراه من معهد الرياضيات التابع للأكاديمية الأوكرانية للعلوم. شغلت يوشينكو منصب باحثة أولى في معهد كييف للرياضيات التابع لأكاديمية العلوم في جمهورية أوكرانيا الاشتراكية السوفيتية في الفترة (1950-1957). في عام 1954، نُقل مختبر ليفيديف (حيث تم إنشاء أول حاسوب في أوروبا القارية، وهو MESM) إلى معهد الرياضيات. كانت يوشينكو عضو في المجموعة المشتركة من الباحثين الذين قاموا بتشغيل ذلك الحاسوب. في سنة 1957، أصبحت مديرة معهد علوم الحاسوب التابع لأكاديمية العلوم في جمهورية أوكرانيا الاشتراكية السوفيتية. خلال فترة خدمتها التي امتدت أربعين عاماً في المعهد، أسست يوشينكو مدرسة علمية مرموقة عالمياً في مجال البرمجة النظرية.

المساهمات العلمية

علاوةً على ذلك، بعد أربعين عامًا من البحث، تم إثراء البرمجة النظرية بأدواتها الرسمية والخوارزمية الخاصة بها وموضوع البحث، وتوسعت بدرجة كبيرة من اللغات الإجرائية إلى أساليب تمثيل المعرفة التي تشكل أدوات الذكاء الاصطناعي لمطوري أنظمة التطبيقات.

وعلى صعيد آخر، كانت يوشينكو مؤسس أول مدرسة سوفيتية للبرمجة النظرية. خلال سبعينيات وثمانينيات القرن العشرين، أصبحت البرمجة النظرية موضوعًا بحثيًا قائمًا بذاته. من أبرز إنجازات المدرسة في ذلك الوقت ابتكار أساليب القواعد الجبرية لتوليف البرمجيات.

من جانب آخر، أثناء العمل مع MESM، اتضح أن المهام الأكثر تعقيدًا يصعب حلها بكتابة برامج آلية بسيطة. برزت الحاجة إلى تطوير لغة برمجة عالية المستوى، لكن ثمة مشكلة: غياب مترجم مناسب لتحسين التواصل بين الإنسان والحاسوب. حقق لي كالوزنين، أستاذ جامعة كييف الذي درّس المنطق الرياضي في الفترة من الخمسينيات إلى السبعينيات، تقدمًا ملحوظًا في فهم هذه المشكلة، ووضع مخططًا رسميًا للتفاعل مع البرنامج. في أعقاب هذا التطور، في سنة 1955، طورت يوشينكو لغة برمجة قائمة على مبدأين أساسيين في عمل الحاسوب: العنونة وإدارة البرمجيات. من خلال إنشاء نظام مفاهيم ملائم لوصف بنية الحاسوب وتعليمات نظامه، أصبحت اللغة وسيلةً لمعالجة عناوين الرتبة الثانية (المؤشرات) والرتب الأعلى. شكلت لغة برمجة العناوين أول إنجاز جوهري للمدرسة السوفيتية للبرمجة النظرية.

من جهة ثانية، في التسعينيات، تركزت جهود مدرسة البرمجة النظرية على دراسة القواعد الجبرية- أساليب نموذج تمثيل المعرفة للحوسبة، وواجهة مستعمل سهلة الاستخدام لتصميم وتطوير قواعد البيانات وقواعد المعرفة لأنظمة دعم القرار، وأنظمة الخبراء وأساليب التعلم الخاصة بها.

من جانب آخر، تشتهر يوشينكو بابتكارها لغة برمجة العناوين، التي تُعتبر أول تقدم جوهري في المدرسة العلمية للبرمجة النظرية. أتاحت هذه اللغة إمكانية تحديد موقع البرنامج بحرية في ذاكرة الحاسوب.

العمل

من جهة ثانية، عملت يوشينكو في مجال نظرية الاحتمالات، واللغات الخوارزمية، ولغات البرمجة، وتطوير أساليب أنظمة معالجة البيانات الآلية.

وفي السياق ذاته، لإعداد المبرمجين، ألّفت يوشينكو سلسلة كتب تعليمية في سبعينيات القرن الماضي. حصلت يوشينكو على خمس شهادات حقوق نشر، ساهمت في وضع ثمانية معايير حكومية أوكرانية. وهي مؤلفة لأكثر من 200 مخطوطة، تشمل 23 دراسة وكتابًا تعليميًا. صدرت بعض هذه الأعمال في طبعتين أو ثلاث، وتُرجمت إلى أكثر من خمس لغات عالمية، منها الألمانية والتشيكية والمجرية والفرنسية والدنماركية وغيرها.