Krzysztof R. Apt
ক্রিজিস্তফ আর আপ্ট (জন্ম 26 ডিসেম্বর 1949 পোল্যান্ডের কাটোউইসে) একজন পোলিশ কম্পিউটার বিজ্ঞানী। 1974 সালে তিনি পোল্যান্ডের ওয়ারশতে গাণিতিক যুক্তিতে তাঁর পিএইচডি রক্ষা করেন। তাঁর গবেষণার আগ্রহের মধ্যে রয়েছে প্রোগ্রামের সঠিকতা এবং শব্দার্থবিজ্ঞান, প্রোগ্রামিং ভাষা হিসাবে যুক্তির ব্যবহার, বিতরণকৃত কম্পিউটিং এবং গেম তত্ত্ব। তাঁর নিজের গবেষণার পাশাপাশি, তিনি কম্পিউটিং সম্প্রদায়ের সেবায় ব্যাপকভাবে জড়িত ছিলেন, বিশেষত কম্পিউটার বিজ্ঞানে যুক্তির ব্যবহার প্রচার করে (বিশেষত একটি নতুন জার্নাল প্রতিষ্ঠা করে) এবং বৈজ্ঞানিক সাহিত্যে উন্মুক্ত প্রবেশাধিকারের পক্ষে সওয়াল করে। একাডেমিক কর্মজীবনে অ্যাপ্ট পোল্যান্ড, নেদারল্যান্ডস, ফ্রান্স, মার্কিন যুক্তরাষ্ট্র (উইলিয়াম বি. ব্লেকমোর দ্বিতীয় অধ্যাপক, কম্পিউটার বিজ্ঞান, ইউটি অস্টিন, 1987-1990) এবং সিঙ্গাপুর (ভিজিটিং অধ্যাপক, কম্পিউটার বিজ্ঞান, এনইউএস, 2002-2005) বিভিন্ন বৈজ্ঞানিক পদে অধিষ্ঠিত হয়েছেন। আপ্ট আমস্টারডামের সিডব্লিউআই (ন্যাশনাল রিসার্চ ইনস্টিটিউট ফর ম্যাথমেটিক্স অ্যান্ড কম্পিউটার সায়েন্স)-এর একজন ফেলো এবং ওয়ারশ বিশ্ববিদ্যালয়ের অধিভুক্ত অধ্যাপক। 2014 সাল থেকে তিনি আমস্টারডাম বিশ্ববিদ্যালয়ের ইমেরিটাস অধ্যাপক। তাঁর গবেষণার আগ্রহের মধ্যে রয়েছে প্রোগ্রামের সঠিকতা এবং শব্দার্থবিজ্ঞান, প্রোগ্রামিং ভাষা হিসাবে যুক্তির ব্যবহার, বিতরণকৃত কম্পিউটিং এবং গেম তত্ত্ব। বিশেষত, সহ-লেখকদের সাথে তিনি লজিক এবং ডেটালগ প্রোগ্রামগুলিতে নেতিবাচকতা মোকাবেলার একটি উপায় সরবরাহ করার জন্য লজিক প্রোগ্রামিংয়ে স্তরবিন্যাসের ধারণাটি প্রবর্তন করেছিলেন। আর্নস্ট-রুডিগার ওল্ডেরগের সাথে লেখা হোয়ার লজিকের তাঁর বিস্তৃত সমীক্ষায় 1969 সালে প্রতিষ্ঠার পর থেকে বিষয়টির ইতিহাসের সংক্ষিপ্তসার দেওয়া হয়েছে। অ্যাপ্ট একাডেমিয়া ইউরোপিয়ার সদস্য, যা "প্যান-ইউরোপীয় একাডেমি অফ সায়েন্সেস, হিউম্যানিটিস অ্যান্ড লেটারস" হিসাবে কাজ করে; সদস্যপদ শুধুমাত্র আমন্ত্রণের মাধ্যমে হয় এবং একটি কঠোর পিয়ার রিভিউ নির্বাচন প্রক্রিয়া অনুসরণ করে। তিনি এসিএম ট্রানজেকশনস অন কম্প্যুটেশনাল লজিকের প্রতিষ্ঠাতা ও প্রথম প্রধান সম্পাদক এবং অ্যাসোসিয়েশন ফর লজিক প্রোগ্রামিং (এএলপি)-এর প্রাক্তন সভাপতি। তিনি কম্পিউটার বিজ্ঞানের তরুণ গবেষকদের জন্য উইটোল্ড লিপস্কি পুরস্কারের তিন প্রবর্তকের মধ্যে একজন। অ্যাপ্ট দীর্ঘদিন ধরে বৈজ্ঞানিক প্রকাশনাগুলিতে উন্মুক্ত এবং বিনামূল্যে প্রবেশাধিকারের সক্রিয় সমর্থক (যেমন)। এবং রিপোজিটরি এআরএক্সআইভি-এর অংশের উপদেষ্টা কমিটির সদস্য যা কম্পিউটিং রিসার্চ রিপোজিটরি (সিওআরআর) বই হিসাবে পরিচিত বই প্রকাশিত বইগুলি তিন বছরের, কার্যকরী, যুক্তি এবং অবজেক্ট-ওরিয়েন্টেড প্রোগ্রামিংয়ের মৌলিক বিষয়গুলির সংহতকরণ অন্বেষণ করার জন্য ইএসপিআরআইটি-অর্থায়িত প্রচেষ্টা থেকে ফলাফল উপস্থাপন করে লজিক প্রোগ্রামিংয়ের বিবর্তন এবং ক্ষেত্রের বর্তমান গবেষণার চিত্তাকর্ষক বিস্তৃত সুযোগ প্রকাশ করে টুরিং অ্যাওয়ার্ড বিজয়ীদের উপর এসিএম সিরিজের বইগুলির বাহ্যিক লিঙ্ক সিডব্লিউআই হোম পেজঃ সিডব্লিউআই স্টাফ পেজঃ পোলিশ সায়েন্স ওয়েবপেজঃ গুগল স্কলারঃ রিসার্চগেটঃ স্প্রিংগার লিঙ্কঃ ডিবিএলপি কম্পিউটার সায়েন্স গ্রন্থপঞ্জিঃ এআরএক্সআইভিঃ লিভিং পিপল প্রোগ্রামিং ল্যাঙ্গুয়েজ গবেষকরা আনুষ্ঠানিক