Krzysztof R. Apt
ಕ್ರಿಜಿಸ್ಟಾಫ್ ಆರ್. ಆಪ್ಟ್ (1949ರ ಡಿಸೆಂಬರ್ 26ರಂದು ಪೋಲೆಂಡ್ನ ಕ್ಯಾಟೊವೈಸ್ನಲ್ಲಿ ಜನಿಸಿದರು) ಪೋಲಿಷ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿ. ಅವರು 1974ರಲ್ಲಿ ಪೋಲೆಂಡ್ನ ವಾರ್ಸಾದಲ್ಲಿ ಗಣಿತಶಾಸ್ತ್ರದಲ್ಲಿ ತಮ್ಮ ಪಿಎಚ್ಡಿ ಪದವಿಯನ್ನು ಸಮರ್ಥಿಸಿಕೊಂಡರು. ಅವರ ಸಂಶೋಧನಾ ಆಸಕ್ತಿಗಳಲ್ಲಿ ಪ್ರೋಗ್ರಾಂ ನಿಖರತೆ ಮತ್ತು ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರ, ತರ್ಕವನ್ನು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯಾಗಿ ಬಳಸುವುದು, ಡಿಸ್ಟ್ರಿಬ್ಯೂಟೆಡ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಮತ್ತು ಗೇಮ್ ಥಿಯರಿ ಸೇರಿವೆ. ತಮ್ಮ ಸ್ವಂತ ಸಂಶೋಧನೆಯ ಜೊತೆಗೆ, ಅವರು ಗಣಕಯಂತ್ರ ವಿಜ್ಞಾನದಲ್ಲಿ ತರ್ಕಶಾಸ್ತ್ರದ ಬಳಕೆಯನ್ನು ಉತ್ತೇಜಿಸುವ ಮೂಲಕ (ವಿಶೇಷವಾಗಿ ಹೊಸ ನಿಯತಕಾಲಿಕವನ್ನು ಸ್ಥಾಪಿಸುವ ಮೂಲಕ) ಮತ್ತು ವೈಜ್ಞಾನಿಕ ಸಾಹಿತ್ಯಕ್ಕೆ ಮುಕ್ತ ಪ್ರವೇಶವನ್ನು ಪ್ರತಿಪಾದಿಸುವ ಮೂಲಕ ಗಣಕಯಂತ್ರ ಸಮುದಾಯದ ಸೇವೆಯಲ್ಲಿ ಹೆಚ್ಚು ತೊಡಗಿಸಿಕೊಂಡಿದ್ದಾರೆ. ಆಪ್ಟ್ ಶೈಕ್ಷಣಿಕ ವೃತ್ತಿಜೀವನವು ಪೋಲೆಂಡ್, ನೆದರ್ಲ್ಯಾಂಡ್ಸ್, ಫ್ರಾನ್ಸ್, ಯು. ಎಸ್. (ವಿಲಿಯಂ ಬಿ. ಬ್ಲೇಕ್ಮೋರ್ II ಪ್ರೊಫೆಸರ್, ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್, ಯುಟಿ ಆಸ್ಟಿನ್, 1987-1990), ಮತ್ತು ಸಿಂಗಾಪುರ್ (ವಿಸಿಟಿಂಗ್ ಪ್ರೊಫೆಸರ್, ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್, ಎನ್ಯುಎಸ್, 2002-2005) ನಲ್ಲಿ ವಿವಿಧ ವೈಜ್ಞಾನಿಕ ಸ್ಥಾನಗಳನ್ನು ಹೊಂದಿದೆ. ಆಪ್ಟ್ ಅವರು ಆಮ್ಸ್ಟರ್ಡ್ಯಾಮ್ನಲ್ಲಿರುವ ಸಿಡಬ್ಲ್ಯೂಐ (ನ್ಯಾಷನಲ್ ರಿಸರ್ಚ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಫಾರ್ ಮ್ಯಾಥಮ್ಯಾಟಿಕ್ಸ್ ಅಂಡ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್) ನಲ್ಲಿ ಫೆಲೋ ಆಗಿದ್ದಾರೆ ಮತ್ತು ವಾರ್ಸಾ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಸಂಯೋಜಿತ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದಾರೆ. 2014 ರಿಂದ ಅವರು ಆಮ್ಸ್ಟರ್ಡ್ಯಾಮ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಎಮೆರಿಟಸ್ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದಾರೆ. ಅವರ ಸಂಶೋಧನಾ ಆಸಕ್ತಿಗಳಲ್ಲಿ ಪ್ರೋಗ್ರಾಂ ನಿಖರತೆ ಮತ್ತು ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರ, ತರ್ಕವನ್ನು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯಾಗಿ ಬಳಸುವುದು, ಡಿಸ್ಟ್ರಿಬ್ಯೂಟೆಡ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಮತ್ತು ಗೇಮ್ ಥಿಯರಿ ಸೇರಿವೆ. ನಿರ್ದಿಷ್ಟವಾಗಿ, ಸಹ-ಲೇಖಕರೊಂದಿಗೆ ಅವರು ತರ್ಕ ಮತ್ತು ದತ್ತಾಂಶ ಕಾರ್ಯಕ್ರಮಗಳಲ್ಲಿನ ನಿರಾಕರಣೆಯನ್ನು ಎದುರಿಸಲು ಒಂದು ಮಾರ್ಗವನ್ನು ಒದಗಿಸಲು ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ನಲ್ಲಿ ಶ್ರೇಣೀಕರಣದ ಪರಿಕಲ್ಪನೆಯನ್ನು ಪರಿಚಯಿಸಿದರು. ಅರ್ನ್ಸ್ಟ್-ರುಡಿಗರ್ ಓಲ್ಡೆರಾಗ್ ಅವರೊಂದಿಗೆ ಬರೆದ ಹೋರೆ ತರ್ಕದ ಅವರ ಸಮಗ್ರ ಸಮೀಕ್ಷೆಯು 1969 ರಲ್ಲಿ ಪ್ರಾರಂಭವಾದಾಗಿನಿಂದ ಈ ವಿಷಯದ ಇತಿಹಾಸವನ್ನು ಸಂಕ್ಷಿಪ್ತಗೊಳಿಸುತ್ತದೆ. ಆಪ್ಟ್ ಅಕಾಡೆಮಿಯಾ ಯುರೋಪಿಯಾದ ಸದಸ್ಯನಾಗಿದ್ದು, ಇದು "ಪ್ಯಾನ್-ಯುರೋಪಿಯನ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್, ಹ್ಯುಮಾನಿಟೀಸ್ ಅಂಡ್ ಲೆಟರ್ಸ್" ಆಗಿ ಕಾರ್ಯನಿರ್ವಹಿಸುತ್ತದೆ; ಸದಸ್ಯತ್ವವು ಆಹ್ವಾನದ ಮೂಲಕ ಮಾತ್ರ ಮತ್ತು ಕಠಿಣ ಪೀರ್ ರಿವ್ಯೂ ಆಯ್ಕೆ ಪ್ರಕ್ರಿಯೆಯನ್ನು ಅನುಸರಿಸುತ್ತದೆ. ಅವರು ಎಸಿಎಂ ಟ್ರಾನ್ಸಾಕ್ಷನ್ಸ್ ಆನ್ ಕಂಪ್ಯೂಟೇಶನಲ್ ಲಾಜಿಕ್ ನ ಸ್ಥಾಪಕ ಮತ್ತು ಮೊದಲ ಮುಖ್ಯ ಸಂಪಾದಕ ಮತ್ತು ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಲಾಜಿಕ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ (ಎಎಲ್ಪಿ) ನ ಹಿಂದಿನ ಅಧ್ಯಕ್ಷರಾಗಿದ್ದಾರೆ. ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಯುವ ಸಂಶೋಧಕರಿಗೆ ವಿತೋಲ್ಡ್ ಲಿಪ್ಸ್ಕಿ ಪ್ರಶಸ್ತಿಯನ್ನು ಪ್ರಾರಂಭಿಸಿದ ಮೂವರಲ್ಲಿ ಆತ ಒಬ್ಬರಾಗಿದ್ದಾರೆ. ಆಪ್ಟ್ ಬಹಳ ಹಿಂದಿನಿಂದಲೂ ವೈಜ್ಞಾನಿಕ ಪ್ರಕಟಣೆಗಳಿಗೆ ಮುಕ್ತ ಮತ್ತು ಉಚಿತ ಪ್ರವೇಶದ ಸಕ್ರಿಯ ವಕೀಲರಾಗಿದ್ದಾರೆ (ಉದಾಹರಣೆಗೆ). ಮತ್ತು ಕಂಪ್ಯೂಟಿಂಗ್ ರಿಸರ್ಚ್ ರೆಪೊಸಿಟರಿ (ಸಿಒಆರ್ಆರ್) ಪುಸ್ತಕಗಳು ಎಂದು ಕರೆಯಲ್ಪಡುವ ಆರ್ಎಕ್ಸ್ಐವಿ ವಿಭಾಗದ ಸಲಹಾ ಸಮಿತಿಯ ಸದಸ್ಯರಾಗಿದ್ದಾರೆ, ಪ್ರಕಟಿಸಿದ ಪುಸ್ತಕಗಳು ಕ್ರಿಯಾತ್ಮಕ, ತರ್ಕ ಮತ್ತು ವಸ್ತು-ಆಧಾರಿತ ಪ್ರೋಗ್ರಾಮಿಂಗ್ಗಳ ಅಡಿಪಾಯ ಸಮಸ್ಯೆಗಳ ಏಕೀಕರಣವನ್ನು ಅನ್ವೇಷಿಸಲು ಮೂರು ವರ್ಷಗಳ, ಇಎಸ್ಪಿಆರ್ಐಟಿ-ಅನುದಾನಿತ ಪ್ರಯತ್ನದ ಫಲಿತಾಂಶಗಳನ್ನು ಪ್ರಸ್ತುತಪಡಿಸುತ್ತವೆ ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅದರ ಆರಂಭದಿಂದಲೂ ಅದರ ವಿಕಾಸವನ್ನು ಮತ್ತು ಕ್ಷೇತ್ರದಲ್ಲಿ ಪ್ರಸ್ತುತ ಸಂಶೋಧನೆಯ ಪ್ರಭಾವಶಾಲಿ ವಿಶಾಲ ವ್ಯಾಪ್ತಿಯನ್ನು ಬಹಿರಂಗಪಡಿಸುತ್ತದೆ ಟ್ಯೂರಿಂಗ್ ಪ್ರಶಸ್ತಿ ವಿಜೇತರ ಕುರಿತ ಎಸಿಎಂ ಸರಣಿಯ ಪುಸ್ತಕಗಳ ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಸಿಡಬ್ಲ್ಯೂಐ ಮುಖಪುಟಃ ಸಿಡಬ್ಲ್ಯೂಐ ಸಿಬ್ಬಂದಿ ಪುಟಃ ಪೋಲಿಷ್ ಸೈನ್ಸ್ ವೆಬ್ಪೇಜ್ಃ ಗೂಗಲ್ ಸ್ಕಾಲರ್ಃ ರಿಸರ್ಚ್ಗೇಟ್ಃ ಸ್ಪ್ರಿಂಗರ್ ಲಿಂಕ್ಃ ಡಿಬಿಎಲ್ಪಿ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ ಗ್ರಂಥಸೂಚಿಃ ಆರ್ಎಕ್ಸ್ಐವಿಃ ಲಿವಿಂಗ್ ಪೀಪಲ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಲಾಂಗ್ವೇಜ್ ಸಂಶೋಧಕರು ಔಪಚಾರಿಕ