Krzysztof R. Apt
ક્રિઝિસ્ટોફ આર. એપ્ટ (જન્મ 26 ડિસેમ્બર 1949ના રોજ કેટોવિસ, પોલેન્ડમાં) પોલેન્ડના કોમ્પ્યુટર વૈજ્ઞાનિક છે. તેમણે 1974માં વોર્સો, પોલેન્ડમાં ગાણિતિક તર્કશાસ્ત્રમાં તેમની પીએચડીનો બચાવ કર્યો હતો. તેમના સંશોધન રસમાં કાર્યક્રમની શુદ્ધતા અને શબ્દાર્થશાસ્ત્ર, પ્રોગ્રામિંગ ભાષા તરીકે તર્કનો ઉપયોગ, ડિસ્ટ્રિબ્યુટેડ કમ્પ્યુટિંગ અને ગેમ થિયરીનો સમાવેશ થાય છે. પોતાના સંશોધન ઉપરાંત, તેઓ કોમ્પ્યુટિંગ સમુદાયની સેવામાં ભારે સંકળાયેલા રહ્યા છે, ખાસ કરીને કોમ્પ્યુટર વિજ્ઞાનમાં તર્કના ઉપયોગને પ્રોત્સાહન આપીને (ખાસ કરીને નવી જર્નલની સ્થાપના કરીને) અને વૈજ્ઞાનિક સાહિત્યની ખુલ્લી પહોંચની હિમાયત કરીને. શૈક્ષણિક કારકિર્દી એપ્ટે પોલેન્ડ, નેધરલેન્ડ, ફ્રાન્સ, યુ. એસ. (વિલિયમ બી. બ્લેકેમોર II પ્રોફેસર, કમ્પ્યુટર સાયન્સ, યુટી ઓસ્ટિન, 1987-1990), અને સિંગાપોર (વિઝિટિંગ પ્રોફેસર, કમ્પ્યુટર સાયન્સ, એનયુએસ, 2002-2005) માં વિવિધ વૈજ્ઞાનિક હોદ્દાઓ સંભાળ્યા છે. એપ્ટ એમ્સ્ટરડેમમાં સીડબ્લ્યુઆઇ (નેશનલ રિસર્ચ ઇન્સ્ટિટ્યૂટ ફોર મેથેમેટિક્સ એન્ડ કમ્પ્યુટર સાયન્સ) માં ફેલો છે અને વોર્સો યુનિવર્સિટીમાં સંલગ્ન પ્રોફેસર છે. 2014 થી તેઓ એમ્સ્ટરડેમ યુનિવર્સિટીમાં પ્રોફેસર એમેરિટસ પણ છે. તેમના સંશોધન રસમાં કાર્યક્રમની શુદ્ધતા અને શબ્દાર્થશાસ્ત્ર, પ્રોગ્રામિંગ ભાષા તરીકે તર્કનો ઉપયોગ, ડિસ્ટ્રિબ્યુટેડ કમ્પ્યુટિંગ અને ગેમ થિયરીનો સમાવેશ થાય છે. ખાસ કરીને, સહ-લેખકો સાથે તેમણે તર્ક અને ડેટાલોગ કાર્યક્રમોમાં નકારાત્મકતા સાથે વ્યવહાર કરવાનો માર્ગ પ્રદાન કરવા માટે તર્ક પ્રોગ્રામિંગમાં સ્તરીકરણની વિભાવના રજૂ કરી. અર્ન્સ્ટ-રુડિગર ઓલ્ડેરોગ સાથે લખાયેલ હોર તર્કશાસ્ત્રનો તેમનો વ્યાપક સર્વે, 1969માં તેની શરૂઆત થઈ ત્યારથી આ વિષયના ઇતિહાસનો સારાંશ આપે છે. એ. પી. ટી. એ એકેડેમિયા યુરોપિયાના સભ્ય છે, જે "વિજ્ઞાન, માનવતા અને પત્રોની અખિલ યુરોપિયન અકાદમી" તરીકે સેવા આપે છે; સભ્યપદ માત્ર આમંત્રણ દ્વારા છે અને સખત પીઅર સમીક્ષા પસંદગી પ્રક્રિયાને અનુસરે છે. તેઓ કોમ્પ્યુટેશનલ લોજિક પર એસીએમ ટ્રાન્ઝેક્શન્સના સ્થાપક અને પ્રથમ મુખ્ય સંપાદક અને એસોસિએશન ફોર લોજિક પ્રોગ્રામિંગ (એએલપી) ના ભૂતપૂર્વ પ્રમુખ છે. તેઓ કોમ્પ્યુટર વિજ્ઞાનમાં યુવા સંશોધકો માટે વિટોલ્ડ લિપ્સ્કી પુરસ્કારના ત્રણ આરંભકર્તાઓમાંના એક છે. એપ્ટ લાંબા સમયથી વૈજ્ઞાનિક પ્રકાશનો (દા. ત.) ની ખુલ્લી અને મફત પહોંચ માટે સક્રિય હિમાયતી છે. અને કમ્પ્યુટિંગ રિસર્ચ રીપોઝીટરી (સી. ઓ. આર. આર.) પુસ્તકો તરીકે ઓળખાતા રીપોઝીટરી એ. આર. એક્સ. આઈ. વી. ના ભાગની સલાહકાર સમિતિના સભ્ય છે, પુસ્તકો પ્રકાશિત પુસ્તકો કાર્યાત્મક, તર્ક અને ઓબ્જેક્ટ-ઓરિએન્ટેડ પ્રોગ્રામિંગના પાયાના મુદ્દાઓના એકીકરણની શોધ કરવા માટે ત્રણ વર્ષના, ઇ. એસ. પી. આર. આઈ. ટી. દ્વારા ભંડોળ પૂરું પાડવામાં આવેલા પ્રયાસોના પરિણામો રજૂ કરે છે તર્ક પ્રોગ્રામિંગની શરૂઆતથી તેની ઉત્ક્રાંતિ અને ક્ષેત્રમાં વર્તમાન સંશોધનનો પ્રભાવશાળી વ્યાપક અવકાશ દર્શાવે છે ટ્યુરિંગ એવોર્ડ વિજેતાઓ પરના પુસ્તકોની એસીએમ શ્રેણીમાં બાહ્ય લિંક્સ સંદર્ભો સી. ડબલ્યુ. આઈ. હોમ પેજઃ સી. ડબલ્યુ. આઈ. સ્ટાફ પેજઃ પોલિશ સાયન્સ વેબપૃષ્ઠઃ ગૂગલ સ્કોલરઃ રિસર્ચગેટઃ સ્પ્રિંગર લિંકઃ ડી. બી. એલ. પી. કમ્પ્યુટર સાયન્સ ગ્રંથસૂચિઃ એ. આર. એક્સ. આઈ. વી.: લિવિંગ પીપલ