Ofer Strichman
ઓફેર સ્ટ્રિચમેન (હીબ્રુઃ Ποφρ στριιικαMAN, જન્મ 4 સપ્ટેમ્બર 1968) ડેવિડસન ઇન્ડસ્ટ્રિયલ એન્જિનિયરિંગ એન્ડ મેનેજમેન્ટ, ટેક્નીયન-ઇઝરાયેલ ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી ખાતે કોમ્પ્યુટેશનલ લોજિક અને કમ્પ્યુટર સાયન્સના પ્રોફેસર છે. તેઓ પ્રોડક્શન એન્જિનિયરિંગમાં જોસેફ ગ્રુએનબ્લેટ ચેર ધરાવે છે. પ્રારંભિક જીવન અને શિક્ષણ ઓફેર સ્ટ્રિકમેનનો જન્મ અને ઉછેર હૈફામાં થયો હતો. તેમણે 1986માં એલાયન્સ હાઈસ્કૂલમાંથી સ્નાતકની પદવી મેળવી હતી અને આઇ. ડી. એફ. ના શૈક્ષણિક અનામત કાર્યક્રમમાં જોડાયા હતા. તેમણે 1991માં ટેક્નીયનમાંથી ઔદ્યોગિક ઇજનેરી (કામગીરી સંશોધન અને માહિતી પ્રણાલીઓમાં વિશેષતા) માં બીએસસી મેળવ્યું હતું. ત્યારબાદ તેમણે ટેકનીયન ખાતે ઓપરેશન્સ રિસર્ચ એન્ડ ઇન્ફર્મેશન સિસ્ટમ્સમાં એમ. એસ. સી. ની ડિગ્રી માટે અભ્યાસ કરતી વખતે આઇ. ડી. એફ. માં છ વર્ષ સુધી સેવા આપી હતી. આઇ. ડી. એફ. છોડ્યા પછી, તેમણે 1997માં પ્રોફેસર અમીર ન્યુલીની દેખરેખ હેઠળ ઇઝરાયલના રેહોવોટમાં વિઝમેન ઇન્સ્ટિટ્યૂટમાં પીએચડી કાર્યક્રમ શરૂ કર્યો હતો. તેમણે ઔપચારિક પદ્ધતિઓ અને કોમ્પ્યુટેશનલ લોજિકમાં અને ખાસ કરીને કમ્પાઇલર્સ માટે અનુવાદ માન્યતા, બાઉન્ડેડ મોડલ ચેકિંગ અને નિર્ણય પ્રક્રિયાઓમાં વિશેષતા મેળવી હતી. તેમના થીસીસનું શીર્ષક 'માન્યતા માટે કાર્યક્ષમ નિર્ણય પ્રક્રિયાઓ' હતું. 2001 માં તેમણે પ્રોફેસર એડમન્ડ ક્લાર્કની પ્રાયોજકતા હેઠળ કાર્નેગી મેલોન યુનિવર્સિટીમાં પોસ્ટ-ડોક પોઝિશન શરૂ કરી, જ્યાં તેમણે મોડેલ ચેકિંગમાં વિશેષતા મેળવી. શૈક્ષણિક કારકિર્દી સ્ટ્રિકમેન 2003 માં ટેક્નીયન ખાતે ઔદ્યોગિક ઇજનેરી અને વ્યવસ્થાપન ફેકલ્ટીમાં માહિતી પ્રણાલીઓના જૂથમાં વરિષ્ઠ વ્યાખ્યાતા તરીકે જોડાયા હતા. તેમને 2009માં સહયોગી પ્રોફેસર અને 2017માં પૂર્ણ પ્રોફેસર તરીકે બઢતી આપવામાં આવી હતી. 2020માં તેમને પ્રોડક્શન એન્જિનિયરિંગમાં જોસેફ ગ્રુએનબ્લેટ ચેર એનાયત કરવામાં આવ્યો હતો. વર્ષ 2003-2015 માં દરેક ઉનાળા દરમિયાન, સ્ટ્રીકમેન પિટ્સબર્ગમાં સોફ્ટવેર એન્જિનિયરિંગ ઇન્સ્ટિટ્યૂટમાં મુલાકાતી વૈજ્ઞાનિક હતા. તેઓ 2004 સુધી 6 વર્ષ સુધી આઇબીએમ રિસર્ચના સલાહકાર હતા. 2010 માં તેઓ રેડમન્ડ, વોશિંગ્ટનમાં માઇક્રોસોફ્ટ રિસર્ચમાં મુલાકાતી વૈજ્ઞાનિક હતા. રિસર્ચ પ્રોફેસર સ્ટ્રીકમેનના મુખ્ય સંશોધન ક્ષેત્રો ઔપચારિક ચકાસણી અને કોમ્પ્યુટેશનલ લોજિક છે. તેઓ સાથી ઇઝરાયેલી વૈજ્ઞાનિક બેની ગોડલીન સાથે, પુનરાવર્તિત કાર્યક્રમોની સમાનતા સાબિત કરવા માટેની તકનીકનું વર્ણન કરવા અને વિવિધ નિર્ણય પ્રક્રિયાઓ (મોટે ભાગે બિનવ્યાખ્યાયિત કાર્યો સાથે સમાનતા માટે) વિકસાવવા માટે 'રીગ્રેસન વેરિફિકેશન' શબ્દ બનાવવા માટે જાણીતા છે. સન્માન અને પુરસ્કારો સ્ટ્રિકમેને 2010 માં ટેક્નીયનનો ગટવિર્થ એવોર્ડ જીત્યો હતો, અને 2021 માં "સંતોષકારક મોડ્યુલો સિદ્ધાંતો (એસ. એમ. ટી.) ના સિદ્ધાંત અને પ્રથાના પાયા માટે અગ્રણી યોગદાન" માટે સી. એ. વી. એવોર્ડ જીત્યો હતો. તેમની દેખરેખ હેઠળ તેમના વિદ્યાર્થીઓ દ્વારા વિકસાવવામાં આવેલા કેટલાક સોફ્ટવેર ટૂલ્સ (એક SAT સોલ્વર અને એક CSP સોલ્વર) એ આંતરરાષ્ટ્રીય સ્પર્ધાઓમાં ગોલ્ડ અને સિલ્વર મેડલ જીત્યા હતા. પ્રકાશન પુસ્તકો નિર્ણય પ્રક્રિયાઓ-ડેનિયલ ક્રોનિંગ સાથે મળીને એક અલ્ગોરિધમિક દૃષ્ટિકોણ. સ્પ્રિંગર-વેરલેગ, 2008. માન્યતા માટે કાર્યક્ષમ નિર્ણય પ્રક્રિયાઓ (સ્ટ્રિચમેનના પીએચડી પ્રકાશનોનો ફરીથી સંપાદિત સંગ્રહ). એલએપી લેમ્બર્ટ એકેડેમિક પબ્લિશિંગ, 2010. પસંદ કરેલા લેખો આખરે વૃદ્ધિશીલ SAT. પ્રો. સંતોષકારક પરીક્ષણના સિદ્ધાંત અને ઉપયોગો પર 17મી આંતરરાષ્ટ્રીય પરિષદ (SAT '14). એલેક્ઝાન્ડર નાડેલ અને વાદિમ રિવચિન સાથે મળીને, 2014. રિઝોલ્યુશન સાથે કાર્યક્ષમ એમયુએસ નિષ્કર્ષણ. પ્રો. કોમ્પ્યુટર સહાયિત ડિઝાઇનમાં ઔપચારિક પદ્ધતિઓ (એફ. એમ. સી. એ. ડી. '13) પર 13મી પરિષદ. 2013માં વાદિમ રિવચિન અને એલેક્ઝાન્ડર નાડેલ સાથે. રીગ્રેસન ચકાસણીઃ સમાન કાર્યક્રમોની સમાનતા સાબિત કરવી. સોફ્ટવેર પરીક્ષણ, ચકાસણી અને વિશ્વસનીયતા, 23 (3) 241-258,2013. બેન્ની ગોડલીન સાથે મળીને, 2013. કાર્યક્રમોની પરસ્પર સમાપ્તિ સાબિત કરવી. પ્રો. આઠમી હાઇફા ચકાસણી પરિષદ (એચવીસી '12). દીમા એલેનબોજન અને શ્મુએલ કાટ્ઝ સાથે મળીને, 2012. રેખીય સમયમાં રિઝોલ્યુશન પ્રૂફનું કદ ઘટાડવું. જર્નલ ઓન સોફ્ટવેર ટૂલ્સ એન્ડ ટેક્નોલોજી ટ્રાન્સફર (એસટીટીટી), વોલ્યુમ 13, અંક 3, પાનું 263,2011. ઓમર બાર-ઇલાન, ઓડેડ ફુહરમન, શ્લોમો હુરી અને ઓહદ શચમ સાથે મળીને, 2011. સી. એસ. પી. સોલ્વર ઉત્પન્ન કરતો પુરાવો. પ્રો. એસોસિએશન ફોર ધ એડવાન્સમેન્ટ ઓફ આર્ટિફિશિયલ ઇન્ટેલિજન્સ (એએએઆઈ '10) ની 24મી પરિષદ. માઈકલ વેક્સલર સાથે, 2010. ધારો-બાંયધરી તર્ક માટે L * સાથે ત્રણ ઓપ્ટિમાઇઝેશન. સિસ્ટમો ડિઝાઇનમાં ઔપચારિક પદ્ધતિઓ, વોલ્યુમ. 32, નંબર 3, પૃષ્ઠો 267-284,2008. સાગર ચાકી સાથે, 2008. SAT-આધારિત બાઉન્ડેડ મોડેલ ચકાસણી સમસ્યા માટે કાપણી તકનીકો. પ્રો. 11મી એડવાન્સ્ડ રિસર્ચ વર્કિંગ કોન્ફરન્સ ઓન કરેક્ટ હાર્ડવેર ડિઝાઇન એન્ડ વેરિફિકેશન મેથડ્સ (CHARME '01), વોલ્યુમ. કોમ્પ્યુટર સાયન્સમાં વ્યાખ્યાન નોંધો 2144, પૃષ્ઠો 58-70,2001. બાઉન્ડેડ મોડેલ ચેકિંગ માટે SAT ચેકર્સને ટ્યુનિંગ કરવું. કમ્પ્યુટર સહાયિત ચકાસણી પર આંતરરાષ્ટ્રીય પરિષદ (CAV), 2000, પૃષ્ઠો 480-494. સંદર્ભો બાહ્ય કડીઓ ઓફેર સ્ટ્રિકમેનનું પાનું, ટેક્નીયન ઓફેર સ્ટ્રિકમેનનું પાનું, dblp સૈદ્ધાંતિક કમ્પ્યુટર વૈજ્ઞાનિકો 1968 જન્મ ઇઝરાયેલી કમ્પ્યુટર વૈજ્ઞાનિકો જીવંત લોકો ટેક્નીયનનો શૈક્ષણિક સ્ટાફ-ઇઝરાયેલ ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી વેઇઝમેન ઇન્સ્ટિટ્યૂટ ઓફ સાયન્સના ભૂતપૂર્વ વિદ્યાર્થીઓ