Ofer Strichman
ಓಫರ್ ಸ್ಟ್ರಿಚ್ಮನ್ (ಹೀಬ್ರೂಃ Ποφρ στριικαMAN, ಜನನ 4 ಸೆಪ್ಟೆಂಬರ್ 1968) ಅವರು ಡೇವಿಡ್ಸನ್ ಇಂಡಸ್ಟ್ರಿಯಲ್ ಎಂಜಿನಿಯರಿಂಗ್ ಮತ್ತು ಮ್ಯಾನೇಜ್ಮೆಂಟ್, ಟೆಕ್ನಿಯನ್-ಇಸ್ರೇಲ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಆಫ್ ಟೆಕ್ನಾಲಜಿಯಲ್ಲಿ ಕಂಪ್ಯೂಟೇಶನಲ್ ಲಾಜಿಕ್ ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದಾರೆ. ಅವರು ಉತ್ಪಾದನಾ ಎಂಜಿನಿಯರಿಂಗ್ನಲ್ಲಿ ಜೋಸೆಫ್ ಗ್ರುಯೆನ್ಬ್ಲಾಟ್ ಪೀಠವನ್ನು ಹೊಂದಿದ್ದಾರೆ. ಆರಂಭಿಕ ಜೀವನ ಮತ್ತು ಶಿಕ್ಷಣದಲ್ಲಿ ಓಫರ್ ಸ್ಟ್ರಿಚ್ಮನ್ ಹೈಫಾದಲ್ಲಿ ಜನಿಸಿದರು ಮತ್ತು ಬೆಳೆದರು. ಅವರು 1986ರಲ್ಲಿ ಅಲೈಯನ್ಸ್ ಪ್ರೌಢಶಾಲೆಯಿಂದ ಪದವಿ ಪಡೆದರು ಮತ್ತು ಐ. ಡಿ. ಎಫ್. ನ ಶೈಕ್ಷಣಿಕ ಮೀಸಲು ಕಾರ್ಯಕ್ರಮಕ್ಕೆ ಸೇರಿದರು. ಅವರು 1991 ರಲ್ಲಿ ಟೆಕ್ನಿಯಾನ್ನಿಂದ ಕೈಗಾರಿಕಾ ಎಂಜಿನಿಯರಿಂಗ್ನಲ್ಲಿ (ಕಾರ್ಯಾಚರಣೆಗಳ ಸಂಶೋಧನೆ ಮತ್ತು ಮಾಹಿತಿ ವ್ಯವಸ್ಥೆಗಳಲ್ಲಿ ಪರಿಣತಿ) ಬಿಎಸ್ಸಿಯನ್ನು ಪಡೆದರು. ನಂತರ ಅವರು ಟೆಕ್ನಿಯಾನ್ನಲ್ಲಿ ಕಾರ್ಯಾಚರಣೆಗಳ ಸಂಶೋಧನೆ ಮತ್ತು ಮಾಹಿತಿ ವ್ಯವಸ್ಥೆಗಳಲ್ಲಿ ಎಂಎಸ್ಸಿ ಪದವಿಗಾಗಿ ಅಧ್ಯಯನ ಮಾಡುವಾಗ ಐಡಿಎಫ್ನಲ್ಲಿ ಆರು ವರ್ಷಗಳ ಕಾಲ ಸೇವೆ ಸಲ್ಲಿಸಿದರು. ಐ. ಡಿ. ಎಫ್. ಯಿಂದ ಹೊರಬಂದ ನಂತರ, ಅವರು 1997ರಲ್ಲಿ ಪ್ರೊ. ಅಮೀರ್ ನುಯೆಲಿ ಅವರ ಮೇಲ್ವಿಚಾರಣೆಯಲ್ಲಿ ಇಸ್ರೇಲ್ನ ರೆಹೋವಟ್ನಲ್ಲಿರುವ ವೀಜ್ಮನ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ನಲ್ಲಿ ಪಿಎಚ್ಡಿ ಕಾರ್ಯಕ್ರಮವನ್ನು ಪ್ರಾರಂಭಿಸಿದರು. ಅವರು ಔಪಚಾರಿಕ ವಿಧಾನಗಳು ಮತ್ತು ಕಂಪ್ಯೂಟೇಶನಲ್ ತರ್ಕದಲ್ಲಿ ಪರಿಣತಿ ಪಡೆದರು, ಮತ್ತು ನಿರ್ದಿಷ್ಟವಾಗಿ ಕಂಪೈಲರ್ಗಳ ಅನುವಾದ ಮೌಲ್ಯಮಾಪನ, ಬೌಂಡೆಡ್ ಮಾಡೆಲ್ ಚೆಕಿಂಗ್ ಮತ್ತು ನಿರ್ಧಾರ ಕಾರ್ಯವಿಧಾನಗಳಲ್ಲಿ ಪರಿಣತಿ ಪಡೆದರು. ಅವರ ಪ್ರಬಂಧದ ಶೀರ್ಷಿಕೆಯು 'ಮೌಲ್ಯಮಾಪನಕ್ಕಾಗಿ ಸಮರ್ಥ ನಿರ್ಧಾರದ ಕಾರ್ಯವಿಧಾನಗಳು' ಆಗಿತ್ತು. 2001 ರಲ್ಲಿ ಅವರು ಪ್ರೊ. ಎಡ್ಮಂಡ್ ಕ್ಲಾರ್ಕ್ ಅವರ ಪ್ರಾಯೋಜಕತ್ವದಲ್ಲಿ ಕಾರ್ನೆಗೀ ಮೆಲಾನ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಪೋಸ್ಟ್-ಡಾಕ್ ಸ್ಥಾನವನ್ನು ಪ್ರಾರಂಭಿಸಿದರು, ಅಲ್ಲಿ ಅವರು ಮಾದರಿ ಪರಿಶೀಲನೆಯಲ್ಲಿ ಪರಿಣತಿ ಪಡೆದರು. ಶೈಕ್ಷಣಿಕ ವೃತ್ತಿಜೀವನದಲ್ಲಿ ಸ್ಟ್ರಿಚ್ಮನ್ 2003ರಲ್ಲಿ ಟೆಕ್ನಿಯಾನ್ನ ಕೈಗಾರಿಕಾ ಎಂಜಿನಿಯರಿಂಗ್ ಮತ್ತು ನಿರ್ವಹಣಾ ವಿಭಾಗದ ಮಾಹಿತಿ ವ್ಯವಸ್ಥೆಗಳ ಗುಂಪಿಗೆ ಹಿರಿಯ ಉಪನ್ಯಾಸಕರಾಗಿ ಸೇರಿದರು. ಅವರು 2009ರಲ್ಲಿ ಸಹಾಯಕ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿ ಮತ್ತು 2017ರಲ್ಲಿ ಪೂರ್ಣ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿ ಬಡ್ತಿ ಪಡೆದರು. 2020ರಲ್ಲಿ ಅವರಿಗೆ ಉತ್ಪಾದನಾ ಎಂಜಿನಿಯರಿಂಗ್ನಲ್ಲಿ ಜೋಸೆಫ್ ಗ್ರುಯೆನ್ಬ್ಲಾಟ್ ಚೇರ್ ನೀಡಲಾಯಿತು. ಪ್ರತಿ ಬೇಸಿಗೆಯಲ್ಲಿ 2003-2015 ವರ್ಷಗಳಲ್ಲಿ, ಸ್ಟ್ರಿಚ್ಮನ್ ಪಿಟ್ಸ್ಬರ್ಗ್ನಲ್ಲಿರುವ ಸಾಫ್ಟ್ವೇರ್ ಎಂಜಿನಿಯರಿಂಗ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ನಲ್ಲಿ ಸಂದರ್ಶಕ ವಿಜ್ಞಾನಿಯಾಗಿದ್ದರು. ಅವರು 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. SAT-ಆಧಾರಿತ ಸೀಮಿತ ಮಾದರಿ ಪರಿಶೀಲನಾ ಸಮಸ್ಯೆಗಾಗಿ ಸಮರುವಿಕೆಯ ತಂತ್ರಗಳು. ಪ್ರೊ. 11ನೇ ಅಡ್ವಾನ್ಸ್ಡ್ ರಿಸರ್ಚ್ ವರ್ಕಿಂಗ್ ಕಾನ್ಫರೆನ್ಸ್ ಆನ್ ಕರೆಕ್ಟ್ ಹಾರ್ಡ್ವೇರ್ ಡಿಸೈನ್ ಅಂಡ್ ವೆರಿಫಿಕೇಶನ್ ಮೆಥಡ್ಸ್ (CHARME '01), ಸಂಪುಟ. ಲೆಕ್ಚರ್ ನೋಟ್ಸ್ ಇನ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ನ 2144 ಪುಟಗಳು 58-70,2001. ಬದ್ಧ ಮಾದರಿ ಪರಿಶೀಲನೆಗಾಗಿ ಎಸ್. ಎ. ಟಿ. ಪರೀಕ್ಷಕಗಳನ್ನು ಸಂಯೋಜಿಸಲಾಗುತ್ತಿದೆ. ಕಂಪ್ಯೂಟರ್ ನೆರವಿನ ಪರಿಶೀಲನೆಯ ಅಂತಾರಾಷ್ಟ್ರೀಯ ಸಮ್ಮೇಳನ (ಸಿಎವಿ), 2000, ಪುಟಗಳು 480-494. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಓಫರ್ ಸ್ಟ್ರಿಚ್ಮನ್ ಅವರ ಪುಟ, ಟೆಕ್ನಿಯನ್ ಓಫರ್ ಸ್ಟ್ರಿಚ್ಮನ್ ಅವರ ಪುಟ, ಡಿಬಿಎಲ್ಪಿ ಸೈದ್ಧಾಂತಿಕ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳು 1968 ಜನನಗಳು ಇಸ್ರೇಲಿ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳು ಲಿವಿಂಗ್ ಪೀಪಲ್ ಟೆಕ್ನಿಯಾನ್ನ ಶೈಕ್ಷಣಿಕ ಸಿಬ್ಬಂದಿ-ಇಸ್ರೇಲ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಆಫ್ ಟೆಕ್ನಾಲಜಿ ವೀಜ್ಮನ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಆಫ್ ಸೈನ್ಸ್ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು