Damien Doligez
ಡೇಮಿಯನ್ ಡೋಲಿಗೆಜ್ ಒಬ್ಬ ಫ್ರೆಂಚ್ ಶಿಕ್ಷಣತಜ್ಞ ಮತ್ತು ಪ್ರೋಗ್ರಾಮರ್. ಅವರು ಓ. ಸಿ. ಎ. ಎಂ. ಎಲ್. ವ್ಯವಸ್ಥೆಯ ಅಭಿವರ್ಧಕರಾಗಿ, ವಿಶೇಷವಾಗಿ ಅದರ ಕಸ ಸಂಗ್ರಹಕಾರರಾಗಿ ಅವರ ಪಾತ್ರಕ್ಕೆ ಹೆಸರುವಾಸಿಯಾಗಿದ್ದಾರೆ. ಅವರು ಫ್ರೆಂಚ್ ಸರ್ಕಾರಿ ಸಂಶೋಧನಾ ಸಂಸ್ಥೆಯಾದ ಐ. ಎನ್. ಆರ್. ಐ. ಎ. ಯಲ್ಲಿ ಸಂಶೋಧನಾ ವಿಜ್ಞಾನಿಯಾಗಿದ್ದಾರೆ. 1990ರಲ್ಲಿ, ಡೋಲಿಗೆಜ್ ಮತ್ತು ಕ್ಸೇವಿಯರ್ ಲೆರಾಯ್ ಅವರು ವೇಗವಾದ, ಅನುಕ್ರಮವಾದ ಕಸ ಸಂಗ್ರಹಕಾರರೊಂದಿಗಿನ ಬೈಟ್ಕೋಡ್ ಇಂಟರ್ಪ್ರಿಟರ್ ಅನ್ನು ಆಧರಿಸಿ ಕ್ಯಾಮ್ಎಲ್ (ಕ್ಯಾಮ್ ಲೈಟ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ) ನ ಅನುಷ್ಠಾನವನ್ನು ನಿರ್ಮಿಸಿದರು ಮತ್ತು ಏಕಕಾಲೀನ ಬೆಂಬಲದೊಂದಿಗೆ ಅದನ್ನು ವಿಸ್ತರಿಸಲು ಪ್ರಾರಂಭಿಸಿದರು. 1996ರಲ್ಲಿ, ಡೊಲಿಜೆಜ್ ಅವರು ಒ. ಸಿ. ಎ. ಎಂ. ಎಲ್. ನ ಮೊದಲ ಆವೃತ್ತಿಯನ್ನು ನಿರ್ಮಿಸಿದ ತಂಡದ ಭಾಗವಾಗಿದ್ದರು ಮತ್ತು ಅಂದಿನಿಂದ (ಏಪ್ರಿಲ್ 2023ರಂತೆ) ಭಾಷೆಯ ಪ್ರಮುಖ ನಿರ್ವಾಹಕರಾಗಿದ್ದಾರೆ. 1994ರಲ್ಲಿ, ಹಾಲ್ ಫಿನ್ನಿ ಅವರು ಸೈಫರ್ ಪಂಕ್ ಮೇಲಿಂಗ್ನಲ್ಲಿ ಎನ್ಕ್ರಿಪ್ಟ್ ಮಾಡಲಾದ ಎಸ್ಎಸ್ಎಲ್ವಿ2 ಅಧಿವೇಶನವನ್ನು ಓದುವಂತೆ ಸವಾಲು ಹಾಕಿದರು. 8 ದಿನಗಳಲ್ಲಿ ಅರ್ಧದಷ್ಟು ಪ್ರಮುಖ ಜಾಗವನ್ನು ಸ್ಕ್ಯಾನ್ ಮಾಡಿದ ನಂತರ ಅದನ್ನು ಮುರಿಯಲು ಡೊಲಿಜೆಜ್ ಇನರಿಯಾ, ಇಎನ್ಎಸ್ ಮತ್ತು ಎಕೋಲ್ ಪಾಲಿಟೆಕ್ನಿಕ್ನಲ್ಲಿ ಬಿಡಿ ಕಂಪ್ಯೂಟರ್ಗಳನ್ನು ಬಳಸಿದರು. ಅವರು ಸ್ಪರ್ಧೆಯಲ್ಲಿ ಎರಡನೇ ಸ್ಥಾನದಲ್ಲಿ ಬಂದರು, ವಿಜೇತ ತಂಡವು ಕೇವಲ ಎರಡು ಗಂಟೆಗಳ ಮುಂಚಿತವಾಗಿ ತಮ್ಮ ಫಲಿತಾಂಶವನ್ನು ಘೋಷಿಸಿತು. 2006 ರಿಂದ, ಡೊಲಿಜೆಜ್ ಸಮಾನತೆಯೊಂದಿಗೆ ಪ್ರಥಮ-ಕ್ರಮಾಂಕದ ಶಾಸ್ತ್ರೀಯ ತರ್ಕಕ್ಕಾಗಿ ಝೆನಾನ್ ಪ್ರಮೇಯದ ಗಾದೆಯನ್ನು ಸಹ-ಅಭಿವೃದ್ಧಿಪಡಿಸಿದ್ದಾರೆ. ಝೆನಾನ್ ಎಂಬುದು ಫೋಕಲೈಸ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಪರಿಸರವನ್ನು ಮುನ್ನಡೆಸುವ ಎಂಜಿನ್ ಆಗಿದ್ದು, ಇದು ಪ್ರಮಾಣೀಕೃತ ಪ್ರೋಗ್ರಾಂಗಳನ್ನು ವಿನ್ಯಾಸಗೊಳಿಸಬಹುದು ಮತ್ತು ಅಭಿವೃದ್ಧಿಪಡಿಸಬಹುದು. ಪರಿಸರವು ಕೆಲವು ವಸ್ತು-ಆಧಾರಿತ ವೈಶಿಷ್ಟ್ಯಗಳೊಂದಿಗೆ ಕ್ರಿಯಾತ್ಮಕ ಭಾಷೆಯನ್ನು ಆಧರಿಸಿದೆ, ಇದು ಪ್ರೋಗ್ರಾಮರ್ಗಳಿಗೆ ಔಪಚಾರಿಕ ವಿವರಣೆ ಮತ್ತು ಅವರ ಕೋಡ್ನ ಪುರಾವೆಗಳನ್ನು ಅದೇ ಸೆಟ್ಟಿಂಗ್ನಲ್ಲಿ ಬರೆಯಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಝೆನಾನ್ ಬಳಸಿ ಪ್ರೂಫ್ ಉತ್ಪಾದನೆಗೆ ಸಹಾಯ ಮಾಡಲಾಗುತ್ತದೆ ಮತ್ತು ಫಲಿತಾಂಶಗಳನ್ನು ಔಪಚಾರಿಕವಾಗಿ ಕಾಕ್ ಪ್ರೂಫ್ ಚೆಕರ್ ಬಳಸಿ ಯಂತ್ರದಲ್ಲಿ ಪರಿಶೀಲಿಸಲಾಗುತ್ತದೆ. 2008 ರಲ್ಲಿ, ಡೊಲಿಜೆಜ್ ಅವರು ಲೆಸ್ಲಿ ಲ್ಯಾಂಪೋರ್ಟ್ ಮತ್ತು ಇತರರೊಂದಿಗೆ ಟಿಎಲ್ಎ + ಪ್ರೂಫ್ ಮ್ಯಾನೇಜರ್ ಅನ್ನು ನಿರ್ಮಿಸಲು ಕೆಲಸ ಮಾಡಿದರು, ಇದು ಶ್ರೇಣೀಕೃತವಾಗಿ ರಚಿಸಲಾದ ಕಂಪ್ಯೂಟರ್-ನೆರವಿನ ಪ್ರೂಫ್ಗಳ ಹೆಚ್ಚುತ್ತಿರುವ ಅಭಿವೃದ್ಧಿ ಮತ್ತು ಪರಿಶೀಲನೆಯನ್ನು ಬೆಂಬಲಿಸುತ್ತದೆ. ಪ್ರೂಫ್ ಮ್ಯಾನೇಜರ್ ಯೋಜನೆಯು 2022ರಂತೆ ಸಕ್ರಿಯವಾಗಿ ನಿರ್ವಹಿಸಲ್ಪಟ್ಟಿದೆ ಮತ್ತು ಅಭಿವೃದ್ಧಿಪಡಿಸಲ್ಪಟ್ಟಿದೆ. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಡೇಮಿಯನ್ ಡೋಲಿಗೆಜ್ ಅವರ ಮುಖಪುಟ ಕಂಪ್ಯೂಟರ್ ಪ್ರೋಗ್ರಾಮರ್ಗಳು ಫ್ರೆಂಚ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳು ಲಿವಿಂಗ್ ಪೀಪಲ್ ಇಯರ್ ಆಫ್ ಬರ್ತ್ ಕಾಣೆಯಾಗಿದೆ (ಜೀವಂತ ಜನರು) ಹುಟ್ಟಿದ ಸ್ಥಳ ಕಾಣೆಯಾಗಿದೆ (ಜೀವಂತ ಜನರು)