Krzysztof R. Apt
கிரிஸ்டோஃப் ஆர். ஆப்ட் (பிறப்புஃ டிசம்பர் 26,1949, போலந்தின் கட்டோவிஸில்) ஒரு போலந்து கணினி விஞ்ஞானி ஆவார். 1974 ஆம் ஆண்டில் போலந்தின் வார்சாவில் கணித தர்க்கத்தில் முனைவர் பட்டம் பெற்றார். நிரல் சரியான தன்மை மற்றும் சொற்பொருள், தர்க்கத்தை ஒரு நிரலாக்க மொழியாகப் பயன்படுத்துதல், விநியோகிக்கப்பட்ட கணினி மற்றும் விளையாட்டு கோட்பாடு ஆகியவை அவரது ஆராய்ச்சி ஆர்வங்களில் அடங்கும். தனது சொந்த ஆராய்ச்சியைத் தவிர, கம்ப்யூட்டிங் சமூகத்திற்கான சேவையில் அவர் பெரிதும் ஈடுபட்டுள்ளார், குறிப்பாக கணினி அறிவியலில் தர்க்கத்தின் பயன்பாட்டை ஊக்குவிப்பதன் மூலமும் (குறிப்பாக ஒரு புதிய பத்திரிகையை நிறுவுவதன் மூலமும்) அறிவியல் இலக்கியங்களுக்கான திறந்த அணுகலை ஆதரிப்பதன் மூலமும். ஆப்ட் போலந்து, நெதர்லாந்து, பிரான்ஸ், அமெரிக்கா (வில்லியம் பி. பிளேக்மோர் II பேராசிரியர், கணினி அறிவியல், யுடி ஆஸ்டின், 1987-1990) மற்றும் சிங்கப்பூர் (வருகை பேராசிரியர், கணினி அறிவியல், என்யூஎஸ், 2002-2005) ஆகிய நாடுகளில் பல்வேறு அறிவியல் பதவிகளை வகித்துள்ளார். ஆப்ட் ஆம்ஸ்டர்டாமில் உள்ள சி. டபிள்யூ. ஐ (கணிதம் மற்றும் கணினி அறிவியலுக்கான தேசிய ஆராய்ச்சி நிறுவனம்) இல் உறுப்பினராகவும், வார்சா பல்கலைக்கழகத்தில் இணைக்கப்பட்ட பேராசிரியராகவும் உள்ளார். 2014 முதல் அவர் ஆம்ஸ்டர்டாம் பல்கலைக்கழகத்தில் எமிரிட்டஸ் பேராசிரியராகவும் உள்ளார். நிரல் சரியான தன்மை மற்றும் சொற்பொருள், தர்க்கத்தை ஒரு நிரலாக்க மொழியாகப் பயன்படுத்துதல், விநியோகிக்கப்பட்ட கணினி மற்றும் விளையாட்டு கோட்பாடு ஆகியவை அவரது ஆராய்ச்சி ஆர்வங்களில் அடங்கும். குறிப்பாக, இணை ஆசிரியர்களுடன் தர்க்கம் மற்றும் தரவுத்தள நிரல்களில் உள்ள மறுப்பைக் கையாள்வதற்கான வழியை வழங்குவதற்காக தர்க்க நிரலாக்கத்தில் அடுக்குப்படுத்தல் என்ற கருத்தை அறிமுகப்படுத்தினார். எர்ன்ஸ்ட்-ருடிகர் ஓல்டெரோக் உடன் எழுதப்பட்ட ஹோரே தர்க்கம் பற்றிய அவரது விரிவான கணக்கெடுப்பு, 1969 இல் தொடங்கப்பட்டதிலிருந்து இந்த விஷயத்தின் வரலாற்றை சுருக்கமாகக் கூறுகிறது. ஆப்ட் அகாடெமியா யூரோபியாவின் உறுப்பினராக உள்ளார், இது "பான்-ஐரோப்பிய அகாடமி ஆஃப் சயின்சஸ், ஹ்யூமனிடிஸ் அண்ட் லெட்டர்ஸ்" ஆக செயல்படுகிறது; உறுப்பினர் அழைப்பின் மூலம் மட்டுமே மற்றும் கடுமையான சக மதிப்பாய்வு தேர்வு செயல்முறையைப் பின்பற்றுகிறது. அவர் கம்ப்யூடேஷனல் லாஜிக் குறித்த ஏசிஎம் பரிவர்த்தனைகளின் நிறுவனர் மற்றும் முதல் தலைமை ஆசிரியர் மற்றும் லாஜிக் புரோகிராமிங் சங்கத்தின் (ஏஎல்பி) முன்னாள் தலைவர் ஆவார். கணினி அறிவியலில் இளம் ஆராய்ச்சியாளர்களுக்கான விடோல்ட் லிப்ஸ்கி பரிசை அறிமுகப்படுத்திய மூன்று பேரில் இவரும் ஒருவர். ஆப்ட் நீண்ட காலமாக அறிவியல் வெளியீடுகளுக்கான திறந்த மற்றும் இலவச அணுகலுக்கான செயலில் வக்கீலாக இருந்து வருகிறார் (எ. கா.) கம்ப்யூட்டிங் ரிசர்ச் ரிப்போசிட்டரி (சிஓஆர்ஆர்) புத்தகங்கள் என அழைக்கப்படும் ஆர்எக்ஸ்ஐவி களஞ்சியத்தின் ஒரு பகுதியின் ஆலோசனைக் குழுவில் உறுப்பினராகவும் உள்ளார், மூன்று ஆண்டு கால செயல்பாட்டு, தர்க்கம் மற்றும் பொருள் சார்ந்த நிரலாக்கத்தின் அடிப்படை சிக்கல்களின் ஒருங்கிணைப்பை ஆராய்வதற்கான ஈஎஸ்பிஆர்ஐடி நிதியுதவியுடன் செய்யப்பட்ட முயற்சியின் முடிவுகளை தொகுத்த புத்தகங்கள் வழங்குகின்றன தர்க்க நிரலாக்கத்தின் தொடக்கத்திலிருந்தே அதன் பரிணாம வளர்ச்சியையும் இந்தத் துறையில் தற்போதைய ஆராய்ச்சியின் பரந்த நோக்கத்தையும் வெளிப்படுத்துகிறது டூரிங் விருது வென்றவர்கள் பற்றிய ஏசிஎம் தொடரின் புத்தகங்கள் வெளிப்புற இணைப்புகள் சி. டபிள்யூ. ஐ முகப்புப்பக்கம்ஃ சி. டபிள்யூ. ஐ பணியாளர் பக்கம்ஃ போலிஷ் அறிவியல் வலைப்பக்கம்ஃ கூகிள் அறிஞர்ஃ ரிசர்ச் கேட்ஃ ஸ்ப்ரிங்கர் லிங்க்ஃ டி. பி. எல். பி கணினி அறிவியல் நூலியல்ஃ ஆர்க்ஸ்ஐவிஃ வாழும் மக்கள் நிரலாக்க மொழி ஆராய்ச்சியாளர்கள் முறை