Ofer Strichman
ওফের স্ট্রিচম্যান (হিব্রু ভাষায়ঃ ভূমিমান, জন্মঃ 4 সেপ্টেম্বর 1968) ডেভিডসন ইন্ডাস্ট্রিয়াল ইঞ্জিনিয়ারিং অ্যান্ড ম্যানেজমেন্ট, টেকনিওন-ইসরায়েল ইনস্টিটিউট অফ টেকনোলজির গণনামূলক যুক্তি এবং কম্পিউটার বিজ্ঞানের অধ্যাপক। তিনি প্রোডাকশন ইঞ্জিনিয়ারিংয়ের জোসেফ গ্রুয়েনব্ল্যাট চেয়ারের অধিকারী। প্রাথমিক জীবন ও শিক্ষা ওফার স্ট্রিকম্যান হাইফায় জন্মগ্রহণ করেন এবং সেখানেই বেড়ে ওঠেন। তিনি 1986 সালে অ্যালায়েন্স হাই স্কুল থেকে স্নাতক হন এবং আইডিএফ-এর অ্যাকাডেমিক রিজার্ভ প্রোগ্রামে যোগ দেন। 1991 সালে তিনি টেকনিওন থেকে ইন্ডাস্ট্রিয়াল ইঞ্জিনিয়ারিং (অপারেশনস রিসার্চ অ্যান্ড ইনফরমেশন সিস্টেমে বিশেষজ্ঞ) বিষয়ে বি. এসসি ডিগ্রি লাভ করেন। এরপর তিনি টেকনিওন-এ অপারেশনস রিসার্চ অ্যান্ড ইনফরমেশন সিস্টেমে এম. এসসি ডিগ্রি অর্জনের জন্য পড়াশোনা করার সময় আই. ডি. এফ-এ ছয় বছর দায়িত্ব পালন করেন। আইডিএফ ছাড়ার পর, তিনি 1997 সালে অধ্যাপক আমির নুয়েলির তত্ত্বাবধানে ইসরায়েলের রেহোভটের ওয়েইজম্যান ইনস্টিটিউটে পিএইচডি প্রোগ্রাম শুরু করেন। তিনি আনুষ্ঠানিক পদ্ধতি এবং গণনামূলক যুক্তিতে এবং বিশেষত সংকলকদের জন্য অনুবাদ বৈধতা, বাউন্ডেড মডেল চেকিং এবং সিদ্ধান্তের পদ্ধতিতে বিশেষজ্ঞ ছিলেন। তাঁর গবেষণাপত্রের শিরোনাম ছিল 'বৈধতার জন্য দক্ষ সিদ্ধান্ত পদ্ধতি'। 2001 সালে তিনি অধ্যাপক এডমন্ড ক্লার্কের পৃষ্ঠপোষকতায় কার্নেগি মেলন বিশ্ববিদ্যালয়ে পোস্ট-ডক পদ শুরু করেন, যেখানে তিনি মডেল চেকিংয়ে বিশেষজ্ঞ ছিলেন। একাডেমিক কর্মজীবন স্ট্রিকম্যান 2003 সালে টেকনিওনের ইন্ডাস্ট্রিয়াল ইঞ্জিনিয়ারিং অ্যান্ড ম্যানেজমেন্ট অনুষদের ইনফরমেশন সিস্টেমস গ্রুপে সিনিয়র প্রভাষক হিসাবে যোগ দেন। 2009 সালে তিনি সহযোগী অধ্যাপক এবং 2017 সালে পূর্ণ অধ্যাপক পদে উন্নীত হন। 2020 সালে তাঁকে প্রোডাকশন ইঞ্জিনিয়ারিং-এ জোসেফ গ্রুয়েনব্ল্যাট চেয়ার প্রদান করা হয়। বছরের প্রতিটি গ্রীষ্মে, স্ট্রিকম্যান পিটসবার্গের সফ্টওয়্যার ইঞ্জিনিয়ারিং ইনস্টিটিউটে একজন পরিদর্শনকারী বিজ্ঞানী ছিলেন। 2004 সাল পর্যন্ত তিনি 6 বছর আইবিএম রিসার্চের পরামর্শদাতা ছিলেন। 2010 সালে তিনি ওয়াশিংটনের রেডমন্ডে মাইক্রোসফ্ট রিসার্চের একজন পরিদর্শনকারী বিজ্ঞানী ছিলেন। গবেষণা অধ্যাপক স্ট্রিকম্যানের প্রধান গবেষণার ক্ষেত্রগুলি হল আনুষ্ঠানিক যাচাইকরণ এবং গণনামূলক যুক্তি। তিনি, সহকর্মী ইসরায়েলি বিজ্ঞানী বেনি গডলিনের সাথে, পুনরাবৃত্তিমূলক প্রোগ্রামগুলির সমতা প্রমাণের জন্য একটি কৌশল বর্ণনা করতে এবং বিভিন্ন সিদ্ধান্ত পদ্ধতি (বেশিরভাগই অব্যক্ত ফাংশনের সাথে সমতার জন্য) বিকাশের জন্য 'রিগ্রেশন ভেরিফিকেশন' শব্দটি উদ্ভাবনের জন্য পরিচিত। স্ট্রিচম্যান 2010 সালে টেকনিওনের গুটউইর্থ পুরস্কার এবং 2021 সালে সন্তোষজনক মডুলো তত্ত্বের (এস. এম. টি) তত্ত্ব ও অনুশীলনের ভিত্তির অগ্রগামী অবদানের জন্য সিএভি পুরস্কার লাভ করেন। তাঁর তত্ত্বাবধানে তাঁর ছাত্রদের দ্বারা তৈরি বেশ কয়েকটি সফ্টওয়্যার সরঞ্জাম (একটি এসএটি সমাধানকারী এবং একটি সিএসপি সমাধানকারী) আন্তর্জাতিক প্রতিযোগিতায় স্বর্ণ ও রৌপ্য পদক জিতেছে। প্রকাশনা বই সিদ্ধান্ত পদ্ধতি-ড্যানিয়েল ক্রোনিংয়ের সাথে একত্রে একটি অ্যালগরিদমিক দৃষ্টিভঙ্গি। স্প্রিঙ্গার-ভার্লাগ, 2008। বৈধতার জন্য দক্ষ সিদ্ধান্ত পদ্ধতি (স্ট্রিকম্যানের পিএইচডি প্রকাশনার একটি পুনরায় সম্পাদিত সংগ্রহ)। এলএপি ল্যামবার্ট অ্যাকাডেমিক পাবলিশিং, 2010। নির্বাচিত নিবন্ধগুলি পরিশেষে ইনক্রিমেন্টাল স্যাট। প্রোক। সন্তোষজনক পরীক্ষার তত্ত্ব এবং প্রয়োগ সম্পর্কিত 17 তম আন্তর্জাতিক সম্মেলন (এসএটি '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। এস. এ. টি-ভিত্তিক সীমাবদ্ধ মডেল চেকিং সমস্যার জন্য ছাঁটাই কৌশল। প্রোক। 11তম অ্যাডভান্সড রিসার্চ ওয়ার্কিং কনফারেন্স অন করেক্ট হার্ডওয়্যার ডিজাইন অ্যান্ড ভেরিফিকেশন মেথডস (CHARME '01), খণ্ড। লেকচার নোটস ইন কম্পিউটার সায়েন্সের 2144 পৃষ্ঠা 58-70,2001। সীমাবদ্ধ মডেল চেকিংয়ের জন্য স্যাট চেকারগুলি সুর করা হচ্ছে। ইন্টারন্যাশনাল কনফারেন্স অন কম্পিউটার এইডেড ভেরিফিকেশন (সিএভি), 2000, পৃষ্ঠা 480-494। রেফারেন্স বাহ্যিক লিঙ্ক ওফার স্ট্রিচম্যানের পাতা, টেকনিওন ওফার স্ট্রিচম্যানের পাতা, ডি. বি. এল. পি তাত্ত্বিক কম্পিউটার বিজ্ঞানী 1968 জন্ম ইসরায়েলি কম্পিউটার বিজ্ঞানী জীবিত মানুষ টেকনিওনের একাডেমিক কর্মী-ইসরায়েল ইনস্টিটিউট অফ টেকনোলজি ওয়েইজম্যান ইনস্টিটিউট অফ সায়েন্সের প্রাক্তন শিক্ষার্থী