Lawrence Paulson
ಲಾರೆನ್ಸ್ ಚಾರ್ಲ್ಸ್ ಪಾಲ್ಸನ್ (ಜನನ 1955) ಒಬ್ಬ ಅಮೇರಿಕನ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿ. ಅವರು ಕೇಂಬ್ರಿಡ್ಜ್ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಕಂಪ್ಯೂಟರ್ ಪ್ರಯೋಗಾಲಯದಲ್ಲಿ ಕಂಪ್ಯೂಟೇಶನಲ್ ಲಾಜಿಕ್ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದಾರೆ ಮತ್ತು ಕೇಂಬ್ರಿಡ್ಜ್ನ ಕ್ಲೇರ್ ಕಾಲೇಜಿನ ಫೆಲೋ ಆಗಿದ್ದಾರೆ. ಎಜುಕೇಶನ್ ಪಾಲ್ಸನ್ 1977ರಲ್ಲಿ ಕ್ಯಾಲಿಫೋರ್ನಿಯಾ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಆಫ್ ಟೆಕ್ನಾಲಜಿಯಿಂದ ಪದವಿ ಪಡೆದರು ಮತ್ತು ಜಾನ್ ಎಲ್. ಹೆನ್ನೆಸ್ಸಿ ಅವರ ಮೇಲ್ವಿಚಾರಣೆಯಲ್ಲಿ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳು ಮತ್ತು ಕಂಪೈಲರ್-ಕಂಪೈಲರ್ಗಳ ಸಂಶೋಧನೆಗಾಗಿ 1981ರಲ್ಲಿ ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಿಂದ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ನಲ್ಲಿ ಪಿಎಚ್ಡಿ ಪಡೆದರು. ರಿಸರ್ಚ್ ಪಾಲ್ಸನ್ 1983ರಲ್ಲಿ ಕೇಂಬ್ರಿಡ್ಜ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯಕ್ಕೆ ಬಂದರು ಮತ್ತು 1987ರಲ್ಲಿ ಕೇಂಬ್ರಿಡ್ಜ್ನ ಕ್ಲೇರ್ ಕಾಲೇಜಿನ ಫೆಲೋ ಆದರು. ಅವರು ವರ್ಕಿಂಗ್ ಪ್ರೋಗ್ರಾಮರ್ಗಾಗಿ ಎಂಎಲ್, ಎಂಎಲ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯ ಮೂಲಾಧಾರ ಪಠ್ಯಕ್ಕೆ ಹೆಸರುವಾಸಿಯಾಗಿದ್ದಾರೆ. ಅವರ ಸಂಶೋಧನೆಯು 1986ರಲ್ಲಿ ಅವರು ಪರಿಚಯಿಸಿದ ಸಂವಾದಾತ್ಮಕ ಸಿದ್ಧಾಂತದ ಗಾದೆ ಇಸಾಬೆಲ್ಲೆಯನ್ನು ಆಧರಿಸಿದೆ. ಅವರು ಪ್ರೇರಕ ವ್ಯಾಖ್ಯಾನಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಕ್ರಿಪ್ಟೋಗ್ರಾಫಿಕ್ ಪ್ರೋಟೋಕಾಲ್ಗಳ ಪರಿಶೀಲನೆಗೆ ಕೆಲಸ ಮಾಡಿದ್ದಾರೆ ಮತ್ತು ಅವರು ಕರ್ಟ್ ಗೊಡೆಲ್ನ ರಚನಾತ್ಮಕ ಬ್ರಹ್ಮಾಂಡವನ್ನು ಔಪಚಾರಿಕಗೊಳಿಸಿದ್ದಾರೆ. ಇತ್ತೀಚೆಗೆ ಅವರು ನೈಜ-ಮೌಲ್ಯದ ವಿಶೇಷ ಕಾರ್ಯಗಳಿಗಾಗಿ ಮೆಟಿಟಾರ್ಸ್ಕಿ ಎಂಬ ಹೊಸ ಸಿದ್ಧಾಂತದ ಗಾದೆಯನ್ನು ನಿರ್ಮಿಸಿದ್ದಾರೆ. ಪಾಲ್ಸನ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ ಟ್ರೈಪೋಸ್ನಲ್ಲಿ ತರ್ಕ ಮತ್ತು ಪುರಾವೆ ಎಂಬ ಶೀರ್ಷಿಕೆಯ ಪದವಿಪೂರ್ವ ಉಪನ್ಯಾಸ ಕೋರ್ಸ್ ಅನ್ನು ಕಲಿಸುತ್ತಾರೆ, ಇದು ಸ್ವಯಂಚಾಲಿತ ಪ್ರಮೇಯವನ್ನು ಸಾಬೀತುಪಡಿಸುವ ಮತ್ತು ಸಂಬಂಧಿತ ವಿಧಾನಗಳನ್ನು ಒಳಗೊಂಡಿದೆ. (ಅವರು ಫಂಕ್ಷನಲ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅನ್ನು ಪರಿಚಯಿಸುವ ಫೌಂಡೇಶನ್ಸ್ ಆಫ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ ಅನ್ನು ಕಲಿಸುತ್ತಿದ್ದರು, ಆದರೆ ಈ ಕೋರ್ಸ್ ಅನ್ನು 2017 ರಲ್ಲಿ ಅಲನ್ ಮೈಕ್ರಾಫ್ಟ್ ಮತ್ತು ಅಮಂಡಾ ಪ್ರೊರೊಕ್ ಮತ್ತು ನಂತರ 2019 ರಲ್ಲಿ ಅನಿಲ್ ಮಾಧವಪೆಡ್ಡಿ ಮತ್ತು ಅಮಂಡಾ ಪ್ರೊರೊಕ್ ಅವರು ವಹಿಸಿಕೊಂಡರು.) ಪ್ರಶಸ್ತಿಗಳು ಮತ್ತು ಗೌರವಗಳು ಪಾಲ್ಸನ್ 2017 ರಲ್ಲಿ ರಾಯಲ್ ಸೊಸೈಟಿಯ (ಎಫ್ಆರ್ಎಸ್) ಫೆಲೋ ಆಗಿ ಆಯ್ಕೆಯಾದರು, 2008 ರಲ್ಲಿ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಮೆಷಿನರಿಯ ಫೆಲೋ ಮತ್ತು ಮ್ಯೂನಿಚ್ ತಾಂತ್ರಿಕ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ತರ್ಕಶಾಸ್ತ್ರದ ವಿಶೇಷ ಸಂಯೋಜಿತ ಪ್ರಾಧ್ಯಾಪಕರಾದರು. ಪಾಲ್ಸನ್ ಅವರಿಗೆ ಅವರ ಮೊದಲ ಪತ್ನಿ ಸುಸಾನ್ ಮೇರಿ ಪಾಲ್ಸನ್ ಅವರಿಂದ ಇಬ್ಬರು ಮಕ್ಕಳಿದ್ದಾರೆ, ಅವರು 2010 ರಲ್ಲಿ ನಿಧನರಾದರು. 2012 ರಿಂದ, ಅವರು ಡಾ ಎಲೆನಾ ಟ್ಚೌಗೌನೋವಾ ಅವರನ್ನು ವಿವಾಹವಾಗಿದ್ದಾರೆ. 1955 ರ ಜನನಗಳು ಜೀವಂತ ಜನರು ಅಮೇರಿಕನ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳು ಕೇಂಬ್ರಿಡ್ಜ್ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಕಂಪ್ಯೂಟರ್ ಪ್ರಯೋಗಾಲಯದ ಸದಸ್ಯರು ಕ್ಯಾಲಿಫೋರ್ನಿಯಾ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಆಫ್ ಟೆಕ್ನಾಲಜಿಯ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಕ್ಲೇರ್ ಕಾಲೇಜಿನ ಫೆಲೋಗಳು, ಕೇಂಬ್ರಿಡ್ಜ್ ರಾಯಲ್ ಸೊಸೈಟಿಯ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಮೆಷಿನರಿ ಫೆಲೋಗಳು ಔಪಚಾರಿಕ ವಿಧಾನಗಳ ಜನರು