Ofer Strichman
ஓஃபர் ஸ்டிரிச்மேன் (எபிரேயம்ஃ பூமி, பிறப்புஃ 4 செப்டம்பர் 1968) டேவிட்சன் தொழில்துறை பொறியியல் மற்றும் மேலாண்மை, டெக்னியன்-இஸ்ரேல் தொழில்நுட்ப நிறுவனத்தில் கணக்கீட்டு தர்க்கம் மற்றும் கணினி அறிவியல் பேராசிரியராக உள்ளார். அவர் உற்பத்தி பொறியியலில் ஜோசப் க்ரூன்ப்ளாட் இருக்கையை வைத்திருக்கிறார். ஆரம்பகால வாழ்க்கை மற்றும் கல்வி ஓஃபர் ஸ்ட்ரிச்மேன் ஹைஃபாவில் பிறந்து வளர்ந்தார். அவர் 1986 இல் அலையன்ஸ் உயர்நிலைப் பள்ளியில் பட்டம் பெற்றார் மற்றும் ஐ. டி. எஃப் இன் கல்வி இருப்பு திட்டத்தில் சேர்ந்தார். 1991 ஆம் ஆண்டில் டெக்னியனில் இருந்து தொழில்துறை பொறியியலில் (செயல்பாட்டு ஆராய்ச்சி மற்றும் தகவல் அமைப்புகளில் நிபுணத்துவம் பெற்ற) பி. எஸ்சி பட்டம் பெற்றார். பின்னர் அவர் ஐ. டி. எஃப் இல் ஆறு ஆண்டுகள் பணியாற்றினார், அதே நேரத்தில் டெக்னியனில் செயல்பாட்டு ஆராய்ச்சி மற்றும் தகவல் அமைப்புகளில் எம். எஸ்சி பட்டம் பெற்றார். ஐ. டி. எஃப்-ல் இருந்து விலகிய பிறகு, 1997 ஆம் ஆண்டில் இஸ்ரேலின் ரெஹோவோட்டில் உள்ள வெய்ஸ்மான் நிறுவனத்தில் பேராசிரியர் அமீர் புனுவேலியின் மேற்பார்வையில் முனைவர் பட்டப் படிப்பைத் தொடங்கினார். முறையான முறைகள் மற்றும் கணக்கீட்டு தர்க்கம், குறிப்பாக தொகுப்பாளர்களுக்கான மொழிபெயர்ப்பு சரிபார்ப்பு, வரம்புக்குட்பட்ட மாதிரி சரிபார்ப்பு மற்றும் முடிவு நடைமுறைகள் ஆகியவற்றில் நிபுணத்துவம் பெற்றவர். அவரது ஆய்வறிக்கையின் தலைப்பு 'சரிபார்ப்புக்கான திறமையான முடிவு நடைமுறைகள்' என்பதாகும். 2001 ஆம் ஆண்டில் அவர் பேராசிரியர் எட்மண்ட் கிளார்க்கின் நிதியுதவியின் கீழ் கார்னகி மெலன் பல்கலைக்கழகத்தில் ஒரு பிந்தைய முனைவர் பதவியைத் தொடங்கினார், அங்கு அவர் மாதிரி சரிபார்ப்பில் நிபுணத்துவம் பெற்றார். ஸ்டிரிச்மேன் 2003 ஆம் ஆண்டில் டெக்னியனில் தொழில்துறை பொறியியல் மற்றும் மேலாண்மை பீடத்தில் தகவல் அமைப்புகள் குழுவில் மூத்த விரிவுரையாளராக சேர்ந்தார். அவர் 2009 இல் இணை பேராசிரியராகவும், 2017 இல் முழு பேராசிரியராகவும் பதவி உயர்வு பெற்றார். 2020 ஆம் ஆண்டில் அவருக்கு உற்பத்தி பொறியியலில் ஜோசப் க்ரூன்ப்ளாட் நாற்காலி வழங்கப்பட்டது. ஐடி1 ஆண்டுகளில் ஒவ்வொரு கோடைகாலத்திலும், பிட்ஸ்பர்க்கில் உள்ள மென்பொருள் பொறியியல் நிறுவனத்தில் வருகை தரும் விஞ்ஞானியாக ஸ்ட்ரிச்மேன் இருந்தார். அவர் 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. எல் * உடன் அனுமானம்-உத்தரவாத பகுத்தறிவுக்கான மூன்று உகப்பாக்கங்கள். முறையான அமைப்புகள் வடிவமைப்பு முறைகள், தொகுதி. 32, எண் 3, பக்கங்கள் 267-284,2008. சாகர் சாக்கியுடன் சேர்ந்து, 2008. SAT அடிப்படையிலான வரம்புக்குட்பட்ட மாதிரி சரிபார்ப்பு சிக்கலுக்கான சீரமைப்பு நுட்பங்கள். புரோக். சரியான வன்பொருள் வடிவமைப்பு மற்றும் சரிபார்ப்பு முறைகள் குறித்த 11 வது மேம்பட்ட ஆராய்ச்சி பணி மாநாடு (CHARME '01), தொகுதி. கணினி அறிவியலில் விரிவுரை குறிப்புகளின் 2144, பக்கங்கள் 58-70,2001. வரம்புக்குட்பட்ட மாதிரி சரிபார்ப்புக்கான SAT சரிபார்ப்புகளை சரிசெய்வது. கணினி உதவி சரிபார்ப்பு குறித்த சர்வதேச மாநாடு (சிஏவி), 2000, பக்கங்கள் 480-494. குறிப்புகள் வெளிப்புற இணைப்புகள் ஓஃபர் ஸ்ட்ரிச்மேனின் பக்கம், டெக்னியன் ஓஃபர் ஸ்ட்ரிச்மேனின் பக்கம், டி. பி. எல். பி கோட்பாட்டு கணினி விஞ்ஞானிகள் 1968 பிறப்புகள் இஸ்ரேலிய கணினி விஞ்ஞானிகள் வாழும் மக்கள் டெக்னியன் கல்வி ஊழியர்கள்-இஸ்ரேல் இன்ஸ்டிடியூட் ஆஃப் டெக்னாலஜி வெய்ஸ்மான் இன்ஸ்டிடியூட் ஆஃப் சயின்ஸ் முன்னாள் மாணவர்கள்