Krzysztof R. Apt
کریزسٹوف آر اپٹ (پیدائش 26 دسمبر 1949 کو کٹوویس، پولینڈ میں) ایک پولینڈ کے کمپیوٹر سائنسدان ہیں۔ انہوں نے 1974 میں وارسا، پولینڈ میں ریاضیاتی منطق میں اپنی پی ایچ ڈی کا دفاع کیا۔ ان کے تحقیقی مفادات میں پروگرام کی درستگی اور الفاظ، پروگرامنگ زبان کے طور پر منطق کا استعمال، تقسیم شدہ کمپیوٹنگ، اور گیم تھیوری شامل ہیں۔ اپنی تحقیق کے علاوہ، وہ کمپیوٹنگ کمیونٹی کی خدمت میں بہت زیادہ شامل رہے ہیں، خاص طور پر کمپیوٹر سائنس میں منطق کے استعمال کو فروغ دے کر (خاص طور پر ایک نیا جریدہ قائم کرکے) اور سائنسی ادب تک کھلی رسائی کی وکالت کرتے ہوئے۔ تعلیمی کیریئر اپٹ نے پولینڈ، نیدرلینڈز، فرانس، امریکہ (ولیم بی بلیکمور II پروفیسر، کمپیوٹر سائنس، یو ٹی آسٹن، 1987-1990)، اور سنگاپور (وزٹنگ پروفیسر، کمپیوٹر سائنس، این یو ایس، 2002-2005) میں مختلف سائنسی عہدوں پر فائز رہے ہیں۔ اپٹ ایمسٹرڈیم میں سی ڈبلیو آئی (نیشنل ریسرچ انسٹی ٹیوٹ فار میتھمیٹکس اینڈ کمپیوٹر سائنس) میں فیلو اور وارسا یونیورسٹی میں وابستہ پروفیسر ہیں۔ 2014 سے وہ ایمسٹرڈیم یونیورسٹی میں پروفیسر ایمریٹس بھی ہیں۔ ان کے تحقیقی مفادات میں پروگرام کی درستگی اور الفاظ، پروگرامنگ زبان کے طور پر منطق کا استعمال، تقسیم شدہ کمپیوٹنگ، اور گیم تھیوری شامل ہیں۔ خاص طور پر، شریک مصنفین کے ساتھ انہوں نے منطق اور ڈیٹالاگ پروگراموں میں نفی سے نمٹنے کا طریقہ فراہم کرنے کے لیے منطق پروگرامنگ میں درجہ بندی کا تصور متعارف کرایا۔ ارنسٹ روڈیگر اولڈروگ کے ساتھ لکھا گیا ہور منطق کا ان کا جامع سروے، 1969 میں اس کے آغاز کے بعد سے اس موضوع کی تاریخ کا خلاصہ پیش کرتا ہے۔ اے پی ٹی اکیڈمیا یوروپیا کا رکن ہے، جو "پین یورپی اکیڈمی آف سائنسز، ہیومینٹیز اینڈ لیٹرز" کے طور پر کام کرتا ہے۔ رکنیت صرف دعوت نامے کے ذریعے ہوتی ہے اور ہم مرتبہ جائزہ لینے کے سخت عمل کی پیروی کرتی ہے۔ وہ اے سی ایم ٹرانزیکشنز آن کمپیوٹیشنل لاجک کے بانی اور پہلے ایڈیٹر ان چیف اور ایسوسی ایشن فار لاجک پروگرامنگ (اے ایل پی) کے سابق صدر ہیں۔ وہ کمپیوٹر سائنس میں نوجوان محققین کے لیے وٹولڈ لپسکی انعام کے تین آغاز کاروں میں سے ایک ہیں۔ اپٹ طویل عرصے سے سائنسی اشاعتوں تک کھلی اور مفت رسائی کا سرگرم حامی رہا ہے (مثال کے طور پر) اور وہ ریپوزیٹری آر ایکس آئی وی کے حصے کی مشاورتی کمیٹی کے رکن ہیں جسے کمپیوٹنگ ریسرچ ریپوزیٹری (سی او آر آر) کے نام سے جانا جاتا ہے۔ کتابیں شائع کی گئیں۔ فنکشنل، منطق، اور آبجیکٹ پر مبنی پروگرامنگ کے بنیادی مسائل کے انضمام کو تلاش کرنے کے لیے ای ایس پی آر آئی ٹی کی مالی اعانت سے چلنے والی تین سالہ کوشش کے نتائج پیش کرتی ہیں۔ اس کے آغاز سے ہی منطق پروگرامنگ کے ارتقاء اور میدان میں موجودہ تحقیق کے متاثر کن وسیع دائرہ کار کا انکشاف کرتا ہے۔ ٹورنگ ایوارڈ جیتنے والوں پر کتابوں کی اے سی ایم سیریز میں حوالہ جات سی ڈبلیو آئی ہوم پیج بیرونی لنکس: سی ڈبلیو آئی اسٹاف پیج: پولینڈ سائنس ویب پیج: گوگل اسکالر: ریسرچ گیٹ: سپرنگر لنک: ڈی بی ایل پی کمپیوٹر سائنس کتابچہ: آرکس آئی وی: لیونگ پیپل پروگرامنگ لینگویج ریسرچرز رسمی