Jaco de Bakker
જેકોબસ વિલેમ (જેકો) ડી બેકર (7 માર્ચ 1939-13 ડિસેમ્બર 2012) ડચ સૈદ્ધાંતિક કમ્પ્યુટર વૈજ્ઞાનિક અને વ્રિજે યુનિવર્સિટી એમ્સ્ટરડેમમાં પ્રોફેસર હતા. જીવનચરિત્ર ડી બેકરે વ્રિજે યુનિવર્સિટી અને યુનિવર્સિટી વેન એમ્સ્ટરડેમમાં ગણિતનો અભ્યાસ કર્યો હતો. અંતે તેમણે 1967 માં એડ વાન વિન્જગાર્ડન હેઠળ થિસીસ માટે તેમની ડોક્ટરેટની પદવી મેળવીઃ પ્રોગ્રામિંગ ભાષાઓનું ઔપચારિક વર્ણનઃ ALGOL 60 ની વ્યાખ્યામાં અરજી સાથે. 1964થી તેઓ એમ્સ્ટર્ડમમાં મેથેમેટિસ્ચ સેન્ટ્રમ (એમસી) નામના વૈજ્ઞાનિક તરીકે કામ કરી રહ્યા હતા (1984થી સેન્ટ્રમ વિસ્કુન્ડે એન્ડ ઇન્ફોર્મેટિકા). બાદમાં તેઓ કોમ્પ્યુટર સાયન્સ વિભાગના વડા હતા, ક્લસ્ટર સોફ્ટવેર એન્જિનિયરિંગનું નેતૃત્વ કર્યું હતું અને 2002 થી સીડબ્લ્યુઆઈ ફેલો હતા. 1973માં તેઓ વ્રિજે યુનિવર્સિટી ખાતે કોમ્પ્યુટર સાયન્સના પ્રોફેસર પણ બન્યા, જ્યાં તેઓ 2002માં એમેરિટસ બન્યા હતા. કમ્પ્યુટર વૈજ્ઞાનિક તરીકે કામ કરતા ડી બેકરને પ્રોગ્રામિંગ ભાષાઓના ગાણિતિક શબ્દાર્થ (વિષય તરીકે જેમાં તેઓ અગ્રણી હતા) અને તેમના પ્રૂફ થિયરી (પ્રોગ્રામ ચકાસણી) માં રસ હતો. તેઓ 1972માં યુરોપિયન એસોસિએશન ફોર થિયોરેટિકલ કમ્પ્યુટર સાયન્સ (EATCS) ના સ્થાપકોમાંના એક હતા, જ્યાં તેઓ 1972થી 1982 સુધી ઉપાધ્યક્ષ અને 1988થી સંચાલન સમિતિના સભ્ય હતા. 1989માં તેમને કોનિન્ક્લિજકે નેડરલેન્ડ્સ એકેડેમી વાન વેટન્સચેપ્પેન (કે. એન. એ. ડબલ્યુ.) નું સભ્યપદ તેમજ એકેડેમિયા યુરોપિયાના સભ્ય તરીકે સન્માનિત કરવામાં આવ્યા હતા. 2002માં તેમને ઓર્ડે વાન ડી નેડરલેન્ડસ લીયુના શૂરવીર તરીકે નામ આપવામાં આવ્યું હતું. ડી બેકર 73 વર્ષની વયે મૃત્યુ પામ્યા હતા. સંદર્ભો ડચ કોમ્પ્યુટર વૈજ્ઞાનિકો વ્રિજે યુનિવર્સિટી એમ્સ્ટર્ડમના શૈક્ષણિક સ્ટાફ એકેડેમિયા યુરોપિયાના સભ્યો 1939 જન્મ 2012 મૃત્યુ વ્રિજે યુનિવર્સિટી એમ્સ્ટર્ડમના ભૂતપૂર્વ વિદ્યાર્થીઓ