Krzysztof R. Apt
क्रिज़्ज़्तोफ़ आर. आप्ट (जन्म 26 दिसंबर 1949 को कटोविस, पोलैंड में) एक पोलिश कंप्यूटर वैज्ञानिक हैं। उन्होंने 1974 में पोलैंड के वारसॉ में गणितीय तर्क में अपनी पीएचडी का बचाव किया। उनके शोध हितों में कार्यक्रम की शुद्धता और शब्दार्थ, एक प्रोग्रामिंग भाषा के रूप में तर्क का उपयोग, वितरित कंप्यूटिंग और खेल सिद्धांत शामिल हैं। अपने स्वयं के शोध के अलावा, वह कम्प्यूटिंग समुदाय की सेवा में बहुत अधिक शामिल रहे हैं, विशेष रूप से कंप्यूटर विज्ञान में तर्क के उपयोग को बढ़ावा देकर (विशेष रूप से एक नई पत्रिका की स्थापना करके) और वैज्ञानिक साहित्य तक खुली पहुंच की वकालत करके। एप्ट ने पोलैंड, नीदरलैंड, फ्रांस, यू. एस. (विलियम बी. ब्लेकेमोर द्वितीय प्रोफेसर, कंप्यूटर विज्ञान, यू. टी. ऑस्टिन, 1987-1990), और सिंगापुर (विजिटिंग प्रोफेसर, कंप्यूटर विज्ञान, एन. यू. एस., 2002-2005) में विभिन्न वैज्ञानिक पदों पर कार्य किया है। आप्ट एम्स्टर्डम में सी. डब्ल्यू. आई. (नेशनल रिसर्च इंस्टीट्यूट फॉर मैथमेटिक्स एंड कंप्यूटर साइंस) में फेलो हैं और वारसॉ विश्वविद्यालय में संबद्ध प्रोफेसर हैं। 2014 से वे एम्स्टर्डम विश्वविद्यालय में प्रोफेसर एमेरिटस भी हैं। उनके शोध हितों में कार्यक्रम की शुद्धता और शब्दार्थ, एक प्रोग्रामिंग भाषा के रूप में तर्क का उपयोग, वितरित कंप्यूटिंग और खेल सिद्धांत शामिल हैं। विशेष रूप से, सह-लेखकों के साथ उन्होंने तर्क और डेटालॉग कार्यक्रमों में निषेध से निपटने का एक तरीका प्रदान करने के लिए तर्क प्रोग्रामिंग में स्तरीकरण की अवधारणा की शुरुआत की। अर्न्स्ट-रुडिगर ओल्डेरॉग के साथ लिखे गए होर तर्क के उनके व्यापक सर्वेक्षण में 1969 में इसकी स्थापना के बाद से इस विषय के इतिहास का सारांश दिया गया है। ए. पी. टी. एकेडेमिया यूरोपिया का सदस्य है, जो "विज्ञान, मानविकी और पत्रों की एक अखिल यूरोपीय अकादमी" के रूप में कार्य करता है; सदस्यता केवल निमंत्रण द्वारा होती है और एक कठोर सहकर्मी समीक्षा चयन प्रक्रिया का पालन करती है। वह कम्प्यूटेशनल लॉजिक पर एसीएम लेनदेन के संस्थापक और पहले प्रधान संपादक और एसोसिएशन फॉर लॉजिक प्रोग्रामिंग (एएलपी) के पूर्व अध्यक्ष हैं। वह कंप्यूटर विज्ञान में युवा शोधकर्ताओं के लिए विटोल्ड लिप्स्की पुरस्कार के तीन आरंभकर्ताओं में से एक हैं। ए. पी. टी. लंबे समय से वैज्ञानिक प्रकाशनों (जैसे) तक खुली और मुफ्त पहुंच का सक्रिय समर्थक रहा है। और कम्प्यूटिंग रिसर्च रिपॉजिटरी (सी. ओ. आर. आर.) बुक्स के रूप में जानी जाने वाली रिपॉजिटरी ए. आर. एक्स. आई. वी. के हिस्से की सलाहकार समिति के सदस्य हैं और प्रकाशित पुस्तकें कार्यात्मक, तर्क और वस्तु-उन्मुख प्रोग्रामिंग के मूलभूत मुद्दों के एकीकरण का पता लगाने के लिए तीन साल के, ई. एस. पी. आर. आई. टी.-वित्त पोषित प्रयास से परिणाम प्रस्तुत करती हैं लॉजिक प्रोग्रामिंग के विकास और क्षेत्र में वर्तमान शोध के प्रभावशाली रूप से व्यापक दायरे का खुलासा करती हैं ट्यूरिंग पुरस्कार विजेताओं पर पुस्तकों की ए. सी. एम. श्रृंखला में संदर्भ सी. डब्ल्यू. आई. होम पेजः सी. डब्ल्यू. आई. स्टाफ पेजः पोलिश साइंस वेबपृष्ठः गूगल स्कॉलरः रिसर्चगेटः स्प्रिंगर लिंकः डी. बी. एल. पी. कंप्यूटर विज्ञान ग्रंथ सूचीः ए. आर. एक्स. आई. वी.: लिविंग पीपल प्रोग्रामिंग लैंग्वेज रिसर्चर्स