David Harel
ಡೇವಿಡ್ ಹರೇಲ್ (ಜನನ 12 ಏಪ್ರಿಲ್ 1950) ಒಬ್ಬ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಯಾಗಿದ್ದು, ಪ್ರಸ್ತುತ ಇಸ್ರೇಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ ಅಂಡ್ ಹ್ಯುಮಾನಿಟೀಸ್ನ ಅಧ್ಯಕ್ಷರಾಗಿ ಸೇವೆ ಸಲ್ಲಿಸುತ್ತಿದ್ದಾರೆ. ಅವರು 1980 ರಿಂದ ಇಸ್ರೇಲ್ನ ವೀಜ್ಮನ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಆಫ್ ಸೈನ್ಸ್ನ ಬೋಧಕವರ್ಗದಲ್ಲಿದ್ದಾರೆ ಮತ್ತು ಗಣಿತಶಾಸ್ತ್ರದ ವಿಲಿಯಂ ಸುಸ್ಮಾನ್ ಪ್ರೊಫೆಸೊರಿಯಲ್ ಚೇರ್ ಅನ್ನು ಹೊಂದಿದ್ದಾರೆ. ಇಂಗ್ಲೆಂಡ್ನ ಲಂಡನ್ನಲ್ಲಿ ಜನಿಸಿದ ಅವರು ಏಳು ವರ್ಷಗಳ ಕಾಲ ಈ ಸಂಸ್ಥೆಯ ಗಣಿತ ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ ವಿಭಾಗದ ಡೀನ್ ಆಗಿದ್ದರು. ಡೈನಾಮಿಕ್ ಲಾಜಿಕ್, ಕಂಪ್ಯೂಟಬಿಲಿಟಿ, ಡೇಟಾಬೇಸ್ ಥಿಯರಿ, ಸಾಫ್ಟ್ವೇರ್ ಎಂಜಿನಿಯರಿಂಗ್ ಮತ್ತು ಮಾಡೆಲಿಂಗ್ ಬಯೋಲಾಜಿಕಲ್ ಸಿಸ್ಟಮ್ಸ್ ಕುರಿತಾದ ಅವರ ಕೆಲಸಕ್ಕೆ ಹರೆಲ್ ಹೆಸರುವಾಸಿಯಾಗಿದ್ದಾರೆ. 1980 ರ ದಶಕದಲ್ಲಿ ಅವರು ಪ್ರತಿಕ್ರಿಯಾತ್ಮಕ ವ್ಯವಸ್ಥೆಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಲು ಮತ್ತು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಮಾಡಲು ಸ್ಟೇಟ್ ಚಾರ್ಟ್ಗಳ ಚಿತ್ರಾತ್ಮಕ ಭಾಷೆಯನ್ನು ಕಂಡುಹಿಡಿದರು, ಇದನ್ನು ಯುಎಂಎಲ್ ಮಾನದಂಡದ ಭಾಗವಾಗಿ ಅಳವಡಿಸಿಕೊಳ್ಳಲಾಗಿದೆ. 1990 ರ ದಶಕದ ಅಂತ್ಯದಿಂದ ಅವರು ಲೈವ್ ಸೀಕ್ವೆನ್ಸ್ ಚಾರ್ಟ್ಗಳ ಸಹ-ಆವಿಷ್ಕಾರದಿಂದ (ಡಬ್ಲ್ಯೂ. ಡ್ಯಾಮ್ನೊಂದಿಗೆ) ಪ್ರಾರಂಭಿಸಲಾದ ಅಂತಹ ವ್ಯವಸ್ಥೆಗಳ ಪ್ರೋಗ್ರಾಮಿಂಗ್ಗೆ ಸನ್ನಿವೇಶ-ಆಧಾರಿತ ವಿಧಾನದ ಮೇಲೆ ಕೇಂದ್ರೀಕರಿಸಿದ್ದಾರೆ. ಅವರು 1987 ರಲ್ಲಿ ಪ್ರಶಸ್ತಿ ವಿಜೇತ ಪುಸ್ತಕ "ಅಲ್ಗಾರಿಥಮಿಕ್ಸ್ಃ ದಿ ಸ್ಪಿರಿಟ್ ಆಫ್ ಕಂಪ್ಯೂಟಿಂಗ್" ಮತ್ತು ಅವರ 2000 ಪುಸ್ತಕ "ಕಂಪ್ಯೂಟರ್ಸ್ ಲಿಮಿಟೆಡ್ಃ ವಾಟ್ ದೆ ರಿಯಲಿ ಕಾಂಟ್ ಡು" ನಂತಹ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ವಿವರಣಾತ್ಮಕ ವಿವರಗಳನ್ನು ಪ್ರಕಟಿಸಿದ್ದಾರೆ ಮತ್ತು ಇಸ್ರೇಲಿ ರೇಡಿಯೋ ಮತ್ತು ದೂರದರ್ಶನಕ್ಕಾಗಿ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಸರಣಿಗಳನ್ನು ಪ್ರಸ್ತುತಪಡಿಸಿದ್ದಾರೆ. ಗ್ರಾಫ್ ಲೇಔಟ್, ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ ಶಿಕ್ಷಣ, ಜೈವಿಕ ಮಾದರಿ ಮತ್ತು ವಾಸನೆಗಳ ವಿಶ್ಲೇಷಣೆ ಮತ್ತು ಸಂವಹನದಂತಹ ಇತರ ವೈವಿಧ್ಯಮಯ ವಿಷಯಗಳ ಬಗ್ಗೆಯೂ ಅವರು ಕೆಲಸ ಮಾಡಿದ್ದಾರೆ. ಹರೇಲ್ ಅವರು 1976 ಮತ್ತು 1978ರ ನಡುವೆ ಎಂಐಟಿಯಲ್ಲಿ ಪಿಎಚ್ಡಿ ಪೂರ್ಣಗೊಳಿಸಿದರು. 1987 ರಲ್ಲಿ, ಅವರು ಸಾಫ್ಟ್ವೇರ್ ಕಂಪನಿ ಐ-ಲಾಗಿಕ್ಸ್ ಅನ್ನು ಸಹ-ಸ್ಥಾಪಿಸಿದರು, ಇದು 2006 ರಲ್ಲಿ ಐಬಿಎಂನ ಭಾಗವಾಯಿತು. ಸಿನೋರಹ್ಯಾಬ್ಡಿಟಿಸ್ ಎಲಿಗನ್ಸ್ ನೆಮಟೋಡ್ನ ಸಂಪೂರ್ಣ ಕಂಪ್ಯೂಟರ್ ಮಾದರಿಯನ್ನು ನಿರ್ಮಿಸಲು ಅವರು ಸಲಹೆ ನೀಡಿದ್ದಾರೆ, ಇದು ಅದರ ಜೀನೋಮ್ ಅನ್ನು ಸಂಪೂರ್ಣವಾಗಿ ಅನುಕ್ರಮಗೊಳಿಸಿದ ಮೊದಲ ಬಹುಕೋಶೀಯ ಜೀವಿಯಾಗಿದೆ. ಅಂತಹ ಮಾದರಿಯ ಅಂತಿಮ ಪರಿಪೂರ್ಣತೆಯು ಅವನ ಟ್ಯೂರಿಂಗ್ ಪರೀಕ್ಷೆಯ ನವೀಕರಿಸಿದ ಆವೃತ್ತಿಯನ್ನು ಅವಲಂಬಿಸಿರುತ್ತದೆ. ಅವರು ಎಸಿಎಂ, ಐಇಇಇ, ಎಎಎಎಸ್ ಮತ್ತು ಇಎಟಿಸಿಎಸ್ನ ಫೆಲೋ ಆಗಿದ್ದಾರೆ ಮತ್ತು ಹಲವಾರು ಅಂತರರಾಷ್ಟ್ರೀಯ ಅಕಾಡೆಮಿಗಳ ಸದಸ್ಯರಾಗಿದ್ದಾರೆ. ಹರೆಲ್ ಇಸ್ರೇಲ್ನ ಹಲವಾರು ಶಾಂತಿ ಮತ್ತು ಮಾನವ ಹಕ್ಕುಗಳ ಸಂಸ್ಥೆಗಳಲ್ಲಿ ಸಕ್ರಿಯರಾಗಿದ್ದಾರೆ. ಪ್ರಶಸ್ತಿಗಳು ಮತ್ತು ಗೌರವಗಳು 1986 ಸ್ಟೀವನ್ಸ್ ಪ್ರಶಸ್ತಿ ಸಾಫ್ಟ್ವೇರ್ ಅಭಿವೃದ್ಧಿ ವಿಧಾನಗಳಿಗಾಗಿ 1992 ಎಸಿಎಂ ಕಾರ್ಲ್ಸ್ಟ್ರಾಮ್ ಅತ್ಯುತ್ತಮ ಶಿಕ್ಷಕ ಪ್ರಶಸ್ತಿ 1994 ಎಸಿಎಂ ಫೆಲೋ 1995 ಐಇಇಇ ಫೆಲೋ 2004 ಇಸ್ರೇಲ್ ಪ್ರಶಸ್ತಿ, ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಕ್ಕಾಗಿ 2005 ಡಾಕ್ಟರ್ ಹಾನರಿಸ್ ಕೌಸಾ, ರೆನ್ನೆಸ್ ವಿಶ್ವವಿದ್ಯಾಲಯ, ಫ್ರಾನ್ಸ್ 2006 ಎಸಿಎಂ ಸಿಗ್ಸಾಫ್ಟ್ ಅತ್ಯುತ್ತಮ ಸಂಶೋಧನಾ ಪ್ರಶಸ್ತಿ 2006 ಅಕಾಡೆಮಿ ಯುರೋಪಿಯಾ ಸದಸ್ಯ 2006 ಡಾಕ್ಟರ್ (ಲಾರಾ) ಹಾನರಿಸ್ ಕೌಸಾ, ಮಿಲಾನೊ-ಬಿಕೊಕ್ಕಾ ವಿಶ್ವವಿದ್ಯಾಲಯ, 18 ಮೇ 2006 ಫೆಲೋ ಹಾನರಿಸ್ ಕೌಸಾ, ಇಸ್ರೇಲ್ ಮುಕ್ತ ವಿಶ್ವವಿದ್ಯಾಲಯ 2007 ಎಸಿಎಂ ಸಾಫ್ಟ್ವೇರ್ ಸಿಸ್ಟಮ್ ಪ್ರಶಸ್ತಿ 2010 ಎಮೆಟ್ ಪ್ರಶಸ್ತಿ 2010 ಇಸ್ರೇಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ ಮತ್ತು ಹ್ಯುಮಾನಿಟೀಸ್ ಸದಸ್ಯ 2012 ಡಾಕ್ಟರ್ ಹಾನರಿಸ್ ಕೌಸಾ, ಐಂಡ್ಹೋವನ್ ಯೂನಿವರ್ಸಿಟಿ ಆಫ್ ಟೆಕ್ನಾಲಜಿ, ನೆದರ್ಲ್ಯಾಂಡ್ಸ್ 2014 ಇಂಟರ್ನ್ಯಾಷನಲ್ ಮೆಂಬರ್ ಆಫ್ ದಿ ಯುಎಸ್ ನ್ಯಾಷನಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಎಂಜಿನಿಯರಿಂಗ್ 2014 2020 ಫೆಲೋ ಆಫ್ ದಿ ರಾಯಲ್ ಸೊಸೈಟಿ (ಎಫ್ಆರ್ಎಸ್) 2021 ಚೈನೀಸ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ನ ವಿದೇಶಿ ಸದಸ್ಯ 2023 ಹರ್ಲಾನ್ ಡಿ. ಮಿಲ್ಸ್ ಪ್ರಶಸ್ತಿಯನ್ನು ಸಹ ನೋಡಿ ಇಸ್ರೇಲ್ ಪ್ರಶಸ್ತಿ ಪುರಸ್ಕೃತರ ಪಟ್ಟಿ ಇಸ್ರೇಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ ಮತ್ತು ಹ್ಯುಮಾನಿಟೀಸ್ ರೆಫೆರೆನ್ಸ್ನ ಸದಸ್ಯರು ವೈಜ್ಮಾನ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಆಫ್ ಸೈನ್ಸ್ನಲ್ಲಿ ಡೇವಿಡ್ ಹಾರೆಲ್ ಅವರ ಮುಖಪುಟವನ್ನು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು. ಇಸ್ರೇಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ ಅಂಡ್ ಹ್ಯುಮಾನಿಟೀಸ್ನಲ್ಲಿ ಡೇವಿಡ್ ಹರೆಲ್ ಅವರ ಪುಟ. 1950 ಜನನಗಳು ಲಂಡನ್ನಿಂದ ಜೀವಂತ ಜನರು ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಇಸ್ರೇಲಿ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳು ಇಸ್ರೇಲಿ ಯಹೂದಿಗಳು ಫೆಲೋಸ್ ಆಫ್ ದಿ ಅಮೆರಿಕನ್ ಅಕಾಡೆಮಿ ಆಫ್ ಆರ್ಟ್ಸ್ ಅಂಡ್ ಸೈನ್ಸಸ್ ಫೆಲೋಸ್ ಆಫ್ ದಿ ಅಮೆರಿಕನ್ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ದಿ ಅಡ್ವಾನ್ಸ್ಮೆಂಟ್ ಆಫ್ ಸೈನ್ಸ್ ಫೆಲೋಸ್ ಆಫ್ ದಿ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಮೆಷಿನರಿ ಫೆಲೋಸ್ ಆಫ್ ದಿ ಐ. ಇ. ಇ. ಇ ಫೆಲೋಸ್ ಆಫ್ ದಿ ರಾಯಲ್ ಸೊಸೈಟಿ ಫಾರ್ಮಲ್ ಮೆಥಡ್ಸ್ ಪೀಪಲ್ ಗ್ರಾಫ್ ಡ್ರಾಯಿಂಗ್ ಪೀಪಲ್ ಮೆಂಬರ್ ಆಫ್ ದಿ ಅಕಾಡೆಮಿಯಾ ಯುರೋಪಿಯಾ ಸಿಸ್ಟಮ್ಸ್ ಬಯಾಲಜಿಸ್ಟ್ಸ್ ಸಾಫ್ಟ್ವೇರ್ ಎಂಜಿನಿಯರಿಂಗ್ ಸಂಶೋಧಕರು ಯುನಿಫೈಡ್ ಮಾಡೆಲಿಂಗ್ ಲಾಂಗ್ವೇಜ್ ಅಕಾಡೆಮಿಕ್ ಸ್ಟಾಫ್ ಆಫ್ ನ್ಯಾಷನಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ನ ವೈಸ್ಮಾನ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಯುನಿಫೈಡ್ ಮಾಡೆಲಿಂಗ್ ಲಾಂಗ್ವೇಜ್ ಅಕಾಡೆಮಿಕ್ ಸ್ಟಾಫ್ ನ್ಯಾಷನಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ನ ವಿದೇಶಿ ಸಹವರ್ತಿಗಳು ನ್ಯಾಷನಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಎಂಜಿನಿಯರಿಂಗ್ ಚೀನೀ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ನ ವಿದೇಶಿ ಸದಸ್ಯರು