Peter O'Hearn
ಪೀಟರ್ ವಿಲಿಯಂ ಒ 'ಹರ್ನ್ (ಜನನ 13 ಜುಲೈ 1963 ಹ್ಯಾಲಿಫ್ಯಾಕ್ಸ್, ನೋವಾ ಸ್ಕಾಟಿಯಾದಲ್ಲಿ), ಹಿಂದೆ ಮೆಟಾದಲ್ಲಿ ಸಂಶೋಧನಾ ವಿಜ್ಞಾನಿ, ಲೇಸ್ವರ್ಕ್ನಲ್ಲಿ ವಿಶೇಷ ಎಂಜಿನಿಯರ್ ಮತ್ತು ಯೂನಿವರ್ಸಿಟಿ ಕಾಲೇಜ್ ಲಂಡನ್ (ಯುಸಿಎಲ್) ನಲ್ಲಿ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದಾರೆ. ಕಾರ್ಯಕ್ರಮದ ನಿಖರತೆಗಾಗಿ ಔಪಚಾರಿಕ ವಿಧಾನಗಳಿಗೆ ಅವರು ಗಮನಾರ್ಹ ಕೊಡುಗೆಗಳನ್ನು ನೀಡಿದ್ದಾರೆ. ಇತ್ತೀಚಿನ ವರ್ಷಗಳಲ್ಲಿ ಈ ಪ್ರಗತಿಯನ್ನು ದೊಡ್ಡ ಕೈಗಾರಿಕಾ ಕೋಡ್ಬೇಸ್ಗಳ ಸ್ವಯಂಚಾಲಿತ ವಿಶ್ಲೇಷಣೆಯನ್ನು ನಡೆಸುವ ಕೈಗಾರಿಕಾ ಸಾಫ್ಟ್ವೇರ್ ಉಪಕರಣಗಳನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸುವಲ್ಲಿ ಬಳಸಲಾಗಿದೆ. ಎಜುಕೇಶನ್ ಒ 'ಹರ್ನ್ ಅವರು ಡಾಲ್ಹೌಸಿ ವಿಶ್ವವಿದ್ಯಾಲಯ, ಹ್ಯಾಲಿಫ್ಯಾಕ್ಸ್, ನೋವಾ ಸ್ಕಾಟಿಯಾದಿಂದ (1985) ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಬಿಎಸ್ಸಿ ಪದವಿಯನ್ನು ಪಡೆದರು, ನಂತರ ಎಂ. ಎಸ್ಸಿ (1987) ಮತ್ತು ಪಿಎಚ್ಡಿ (1991) ಪದವಿಗಳನ್ನು ಕ್ವೀನ್ಸ್ ವಿಶ್ವವಿದ್ಯಾಲಯ, ಕಿಂಗ್ಸ್ಟನ್, ಒಂಟಾರಿಯೊ, ಕೆನಡಾದಿಂದ ಪಡೆದರು. ಅವರ ಪ್ರಬಂಧವು ರಾಬರ್ಟ್ ಡಿ. ಟೆನ್ನೆಂಟ್ ಅವರ ಮೇಲ್ವಿಚಾರಣೆಯ ಸೆಮಾಂಟಿಕ್ಸ್ ಆಫ್ ನಾನ್-ಇಂಟರ್ಫರೆನ್ಸ್ಃ ಎ ನ್ಯಾಚುರಲ್ ಅಪ್ರೋಚ್ ಆಗಿತ್ತು. ಒ 'ಹಿಯರ್ನ್ ಅವರು ಬೇರ್ಪಡಿಸುವ ತರ್ಕಕ್ಕೆ ಹೆಸರುವಾಸಿಯಾಗಿದ್ದಾರೆ, ಈ ಸಿದ್ಧಾಂತವನ್ನು ಅವರು ಜಾನ್ ಸಿ. ರೆನಾಲ್ಡ್ಸ್ ಅವರೊಂದಿಗೆ ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು, ಇದು ಸಂಕೇತದ ಬಗ್ಗೆ ತಾರ್ಕಿಕ ತಾರ್ಕಿಕತೆಯನ್ನು ಅಳೆಯಲು ಹೊಸ ಕ್ಷೇತ್ರಗಳನ್ನು ಕಂಡುಹಿಡಿದಿದೆ. ಇದು ಒ 'ಹರ್ನ್ ಮತ್ತು ಡೇವಿಡ್ ಪಿಮ್ ಅವರ ಸಂಪನ್ಮೂಲಗಳ ತರ್ಕದ ಮೇಲಿನ ಹಿಂದಿನ ಸಂಶೋಧನೆಯನ್ನು ಆಧರಿಸಿದೆ, ಇದನ್ನು ಬಂಚ್ ಮಾಡಲಾದ ತರ್ಕ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಸ್ಟೀಫನ್ ಬ್ರೂಕ್ಸ್, ಕಾರ್ನೆಗೀ ಮೆಲಾನ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದೊಂದಿಗೆ, ಒ 'ಹರ್ನ್ ಈ ಸಿದ್ಧಾಂತವನ್ನು ಮತ್ತಷ್ಟು ವಿಸ್ತರಿಸುವ ಮೂಲಕ ಸಮವರ್ತಿ ಬೇರ್ಪಡಿಕೆ ತರ್ಕವನ್ನು (ಸಿಎಸ್ಎಲ್) ರಚಿಸಿದರು. ಟೋನಿ ಹೋರೆ, ಪ್ರೋಗ್ರಾಂ ಪರಿಶೀಲನೆಯ ದೊಡ್ಡ ಸವಾಲನ್ನು ಚರ್ಚಿಸುವಾಗ, ಸಿಎಸ್ಎಲ್ ಅನ್ನು "ಎರಡು problems.concurrecy ಮತ್ತು ಆಬ್ಜೆಕ್ಟ್ ಓರಿಯೆಂಟೇಶನ್ ಅನ್ನು ಪರಿಹರಿಸುವುದು" ಎಂದು ವಿವರಿಸಿದ್ದಾರೆ. ಅವರು ತಮ್ಮ ಮಾಜಿ ಡಾಕ್ಟರೇಟ್ ಸಲಹೆಗಾರರಾದ ರಾಬರ್ಟ್ ಡಿ. ಟೆನ್ನೆಂಟ್ ಅವರೊಂದಿಗೆ ಆಲ್ಗೋಲ್ ಅನ್ನು ಹೋಲುವ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳ ಅಧ್ಯಯನವನ್ನು ನಡೆಸಿದರು, ಇದು ಆಲ್ಗೋಲ್-ಲೈಕ್ ಲಾಂಗ್ವೇಜಸ್ ಎಂಬ ಪುಸ್ತಕವಾಯಿತು. ಬೇರ್ಪಡಿಸುವಿಕೆಯ ತರ್ಕವು ಇನ್ಫರ್ ಸ್ಟ್ಯಾಟಿಕ್ ಅನಲೈಜರ್ (ಫೇಸ್ಬುಕ್ ಇನ್ಫರ್) ಅನ್ನು ಹುಟ್ಟುಹಾಕಿದೆ, ಇದು ಫೇಸ್ಬುಕ್ನಲ್ಲಿ ಓ 'ಹರ್ನ್ ತಂಡವು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದ ಸ್ಥಿರ ಪ್ರೋಗ್ರಾಂ ವಿಶ್ಲೇಷಣೆ ಉಪಯುಕ್ತತೆಯಾಗಿದೆ. 20ಕ್ಕೂ ಹೆಚ್ಚು ವರ್ಷಗಳ ಕಾಲ ಶೈಕ್ಷಣಿಕ ಕ್ಷೇತ್ರದಲ್ಲಿ ಕೆಲಸ ಮಾಡಿದ ನಂತರ, ಒ 'ಹರ್ನ್ ಅವರು 2013ರಲ್ಲಿ ತಾವು ಸಹ-ಸ್ಥಾಪಿಸಿದ ಮೊನೊಯಿಡಿಕ್ಸ್ ಲಿಮಿಟೆಡ್ ಅನ್ನು ಸ್ವಾಧೀನಪಡಿಸಿಕೊಳ್ಳುವ ಮೂಲಕ ಫೇಸ್ಬುಕ್ನಲ್ಲಿ ಕೆಲಸ ಮಾಡಲು ಪ್ರಾರಂಭಿಸಿದರು. ಅದರ ಆರಂಭದಿಂದಲೂ, ಇನ್ಫರ್ ಫೇಸ್ಬುಕ್ ಎಂಜಿನಿಯರ್ಗಳಿಗೆ ಉತ್ಪಾದನೆಯನ್ನು ತಲುಪುವ ಮೊದಲು ಹತ್ತಾರು ಸಾವಿರ ದೋಷಗಳನ್ನು ಪರಿಹರಿಸಲು ಅನುವು ಮಾಡಿಕೊಟ್ಟಿದೆ. ಇದು 2016 ರಲ್ಲಿ ತೆರೆದ ಮೂಲವಾಗಿತ್ತು, ಮತ್ತು ಇದನ್ನು ಅಮೆಜಾನ್ ಇಂಕ್, ಸ್ಪಾಟಿಫೈ, ಮೊಜಿಲ್ಲಾ, ಉಬರ್ ಮತ್ತು ಇತರರು ಬಳಸುತ್ತಾರೆ. 2017ರಲ್ಲಿ, ಒ 'ಹಿಯರ್ನ್ ಮತ್ತು ತಂಡವು ಇನ್ಫರ್ ಪ್ಲಾಟ್ಫಾರ್ಮ್ನ ಭಾಗವಾಗಿ ಏಕಕಾಲೀನ ಸಾಫ್ಟ್ವೇರ್ನಲ್ಲಿನ ಸಂಭಾವ್ಯ ಸಮಸ್ಯೆಗಳನ್ನು ಗುರುತಿಸಲು ತೆಗೆದುಕೊಳ್ಳುವ ಸಮಯವನ್ನು ಕಡಿಮೆ ಮಾಡುವ ಸ್ವಯಂಚಾಲಿತ ಸ್ಥಿರ ಓಟದ ಸ್ಥಿತಿಯನ್ನು ಪತ್ತೆಹಚ್ಚುವ ಸಾಧನವಾದ ರೇಸರ್ಡಿಯನ್ನು ತೆರೆದಿದೆ. ಒ 'ಹಿಯರ್ನ್ 1990ರಿಂದ 1995ರವರೆಗೆ ಅಮೆರಿಕದ ನ್ಯೂಯಾರ್ಕ್ನ ಸಿರಾಕ್ಯೂಸ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಸಹಾಯಕ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದರು. ಅವರು 1996 ರಿಂದ 1999 ರವರೆಗೆ ಲಂಡನ್ನ ಕ್ವೀನ್ ಮೇರಿ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಓದುಗರಾಗಿದ್ದರು ಮತ್ತು ನಂತರ ಯೂನಿವರ್ಸಿಟಿ ಕಾಲೇಜ್ ಲಂಡನ್ಗೆ ತೆರಳುವವರೆಗೆ ಕ್ವೀನ್ ಮೇರಿಯಲ್ಲಿ ಪೂರ್ಣ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದರು. ಯುಸಿಎಲ್ನಲ್ಲಿ ರಾಯಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಎಂಜಿನಿಯರಿಂಗ್ ಮತ್ತು ಮೈಕ್ರೋಸಾಫ್ಟ್ ರಿಸರ್ಚ್ ಪ್ರಾಯೋಜಿಸಿದ ಪೀಠವನ್ನು ಅವರಿಗೆ ನೀಡಲಾಯಿತು. 1997ರಲ್ಲಿ ಅವರು ಕಾರ್ನೆಗೀ ಮೆಲಾನ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಸಂದರ್ಶಕ ವಿಜ್ಞಾನಿಯಾಗಿದ್ದರು ಮತ್ತು 2006ರಲ್ಲಿ ಮೈಕ್ರೋಸಾಫ್ಟ್ ರಿಸರ್ಚ್ ಕೇಂಬ್ರಿಡ್ಜ್ನಲ್ಲಿ ಸಂದರ್ಶಕ ಸಂಶೋಧಕರಾಗಿದ್ದರು. ಅವರು ಈಗ ಲೇಸ್ವರ್ಕ್ನಲ್ಲಿ ವಿಶೇಷ ಇಂಜಿನಿಯರ್ ಮತ್ತು ಯುಸಿಎಲ್ನಲ್ಲಿ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿ ತಮ್ಮ ಸಮಯವನ್ನು ಹಂಚಿಕೊಳ್ಳುತ್ತಾರೆ. ಪ್ರಶಸ್ತಿಗಳು ಮತ್ತು ಗೌರವಗಳು 2007ರಲ್ಲಿ, ಓ 'ಹರ್ನ್ ಅವರಿಗೆ ರಾಯಲ್ ಸೊಸೈಟಿ ವೋಲ್ಫ್ಸನ್ ರಿಸರ್ಚ್ ಮೆರಿಟ್ ಪ್ರಶಸ್ತಿಯನ್ನು ನೀಡಲಾಯಿತು. 2011ರಲ್ಲಿ, ಒ 'ಹರ್ನ್ ಮತ್ತು ಸಮೀನ್ ಇಶ್ತಿಯಾಕ್ ಅವರಿಗೆ ಅತ್ಯಂತ ಪ್ರಭಾವಶಾಲಿ ಪಿಒಪಿಎಲ್ ಪೇಪರ್ ಪ್ರಶಸ್ತಿಯನ್ನು ನೀಡಲಾಯಿತು. ಕಾರ್ನೆಗೀ ಮೆಲಾನ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಸ್ಟೀಫನ್ ಬ್ರೂಕ್ಸ್ ಅವರೊಂದಿಗೆ, ಅವರು ಸಮವರ್ತಿ ಬೇರ್ಪಡಿಕೆ ತರ್ಕದ ಆವಿಷ್ಕಾರಕ್ಕಾಗಿ 2016ರ ಗೊಡೆಲ್ ಪ್ರಶಸ್ತಿಯ ಸಹ-ಸ್ವೀಕರಕರಾಗಿದ್ದರು. 2016ರಲ್ಲಿ, ಅವರು ರಾಯಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಎಂಜಿನಿಯರಿಂಗ್ನ (ಎಫ್ಆರ್ಇಎನ್ಜಿ) ಫೆಲೋ ಆಗಿ ಆಯ್ಕೆಯಾದರು ಮತ್ತು ವಾರ್ಷಿಕ ಸಿಎವಿ (ಕಂಪ್ಯೂಟರ್ ಏಡೆಡ್ ವೆರಿಫಿಕೇಷನ್) ಪ್ರಶಸ್ತಿಯನ್ನು ಸಹ-ಪಡೆದರು. 2018 ರಲ್ಲಿ, ಅವರು ರಾಯಲ್ ಸೊಸೈಟಿಯ (ಎಫ್ಆರ್ಎಸ್) ಫೆಲೋ ಆಗಿ ಆಯ್ಕೆಯಾದರು ಮತ್ತು ಡಾಲ್ಹೌಸಿ ವಿಶ್ವವಿದ್ಯಾಲಯದಿಂದ ಗೌರವ ಡಾಕ್ಟರ್ ಆಫ್ ಲಾ ಪ್ರಶಸ್ತಿಯನ್ನು ಪಡೆದರು. 2019ರ ಜನವರಿಯಲ್ಲಿ ಒ 'ಹರ್ನ್ ಅವರಿಗೆ ಮತ್ತೊಂದು ಅತ್ಯಂತ ಪ್ರಭಾವಶಾಲಿ ಪಿಒಪಿಎಲ್ ಪೇಪರ್ ಪ್ರಶಸ್ತಿಯನ್ನು ನೀಡಿ ಗೌರವಿಸಲಾಯಿತು, ಅದನ್ನು ಅವರು ಮೂವರು ಸಹೋದ್ಯೋಗಿಗಳೊಂದಿಗೆ ಹಂಚಿಕೊಂಡರು. ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಆಫ್ ಎಲೆಕ್ಟ್ರಿಕಲ್ ಅಂಡ್ ಎಲೆಕ್ಟ್ರಾನಿಕ್ಸ್ ಎಂಜಿನಿಯರ್ಸ್ (ಐ. ಇ. ಇ. ಇ.) ಒ 'ಹರ್ನ್ ಮತ್ತು ಅವರ ಮೂವರು ಫೇಸ್ಬುಕ್ ಸಹೋದ್ಯೋಗಿಗಳಿಗೆ 2021ರ ಅಕ್ಟೋಬರ್ನಲ್ಲಿ ನಡೆದ ವಾರ್ಷಿಕ ಪ್ರಶಸ್ತಿ ಪ್ರದಾನ ಸಮಾರಂಭದಲ್ಲಿ ಅಭ್ಯಾಸಕ್ಕಾಗಿ ಐ. ಇ. ಇ. ಇ. ಸೈಬರ್ ಸೆಕ್ಯುರಿಟಿ ಪ್ರಶಸ್ತಿಯನ್ನು ನೀಡಿತು. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು 1963 ಜನನಗಳು ಹ್ಯಾಲಿಫ್ಯಾಕ್ಸ್, ನೋವಾ ಸ್ಕಾಟಿಯಾ ಡಾಲ್ಹೌಸಿ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಕಿಂಗ್ಸ್ಟನ್ನ ಕ್ವೀನ್ಸ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಇಂಗ್ಲೆಂಡಿಗೆ ವಲಸೆ ಬಂದವರು ಬ್ರಿಟಿಷ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳು ಕೆನಡಾದ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳು ಔಪಚಾರಿಕ ವಿಧಾನಗಳು ಜನರು ರಾಯಲ್ ಸೊಸೈಟಿಯ ಕೆನಡಿಯನ್ ಫೆಲೋಗಳು ರಾಯಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಎಂಜಿನಿಯರಿಂಗ್ನ ಫೆಲೋಗಳು ಸಿರಾಕ್ಯೂಸ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಬೋಧಕವರ್ಗ ಲಂಡನ್ನ ಕ್ವೀನ್ ಮೇರಿ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಅಕಾಡೆಮಿಕ್ಸ್ ಯೂನಿವರ್ಸಿಟಿ ಕಾಲೇಜ್ ಲಂಡನ್ನ ಫೇಸ್ಬುಕ್ ಉದ್ಯೋಗಿಗಳು ಗೋಡೆಲ್ ಪ್ರಶಸ್ತಿ ವಿಜೇತರು ರಾಯಲ್ ಸೊಸೈಟಿ ವೋಲ್ಫ್ಸನ್ ರಿಸರ್ಚ್ ಮೆರಿಟ್ ಪ್ರಶಸ್ತಿ ಹೊಂದಿರುವವರು