Harald Ganzinger
ಹೆರಾಲ್ಡ್ ಗ್ಯಾನ್ಜಿಂಗರ್ (31 ಅಕ್ಟೋಬರ್ 1950, ವೆರ್ನೆಕ್-3 ಜೂನ್ 2004, ಸಾರ್ಬ್ರೂಕೆನ್) ಒಬ್ಬ ಜರ್ಮನ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಯಾಗಿದ್ದು, ಅವರು ಲಿಯೋ ಬ್ಯಾಚ್ಮೇರ್ ಅವರೊಂದಿಗೆ ಸೂಪರ್ಪೊಸಿಷನ್ ಕ್ಯಾಲ್ಕುಲಸ್ ಅನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು, ಇದನ್ನು (2007 ರಂತೆ) ಹೆಚ್ಚಿನ ಅತ್ಯಾಧುನಿಕ ಸ್ವಯಂಚಾಲಿತ ಪ್ರಮೇಯದಲ್ಲಿ ಬಳಸಲಾಗುತ್ತದೆ. ಅವರು 1978ರಲ್ಲಿ ಮ್ಯೂನಿಚ್ ತಾಂತ್ರಿಕ ವಿಶ್ವವಿದ್ಯಾಲಯದಿಂದ ಪಿಎಚ್ಡಿ ಪಡೆದರು. 1991ರ ಮೊದಲು ಅವರು ಡಾರ್ಟ್ಮಂಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದರು. ನಂತರ ಅವರು 1991 ರಲ್ಲಿ ಸ್ಥಾಪನೆಯಾದ ಸ್ವಲ್ಪ ಸಮಯದ ನಂತರ ಸಾರ್ಬ್ರೂಕೆನ್ನಲ್ಲಿರುವ ಮ್ಯಾಕ್ಸ್ ಪ್ಲ್ಯಾಂಕ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಫಾರ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ಗೆ ಸೇರಿದರು. 2004 ರವರೆಗೆ ಅವರು ಮ್ಯಾಕ್ಸ್ ಪ್ಲ್ಯಾಂಕ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಫಾರ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ನ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಲಾಜಿಕ್ ವಿಭಾಗದ ನಿರ್ದೇಶಕರಾಗಿದ್ದರು ಮತ್ತು ಸಾರ್ಲ್ಯಾಂಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಗೌರವಾನ್ವಿತ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದರು. ಅವರ ಸಂಶೋಧನಾ ತಂಡವು ಎಸ್. ಪಿ. ಎ. ಎಸ್. ಎಸ್. ಸ್ವಯಂಚಾಲಿತ ಪ್ರಮೇಯದ ಗಾದೆಯನ್ನು ರಚಿಸಿತು. ಸ್ವಯಂಚಾಲಿತ ಪ್ರಮೇಯವನ್ನು ಸಾಬೀತುಪಡಿಸುವಲ್ಲಿ ಅವರು ನೀಡಿದ ಪ್ರಮುಖ ಕೊಡುಗೆಗಳಿಗಾಗಿ ಅವರು 2004ರಲ್ಲಿ (ಮರಣೋತ್ತರ) ಹರ್ಬ್ರಾಂಡ್ ಪ್ರಶಸ್ತಿಯನ್ನು ಪಡೆದರು. ಉಲ್ಲೇಖಗಳು ಆಯ್ಕೆ ಮತ್ತು ಸರಳೀಕರಣದೊಂದಿಗೆ ಸಾಬೀತುಪಡಿಸುವ ಸಮೀಕರಣ ಆಧಾರಿತ ಪ್ರಮೇಯವನ್ನು ಪುನಃ ಬರೆಯಿರಿ, ಲಿಯೋ ಬ್ಯಾಚ್ಮೇರ್ ಮತ್ತು ಹರಾಲ್ಡ್ ಗ್ಯಾನ್ಜಿಂಗರ್, ಜರ್ನಲ್ ಆಫ್ ಲಾಜಿಕ್ ಅಂಡ್ ಕಂಪ್ಯೂಟೇಶನ್ 3 (4), 1994. ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಹರಾಲ್ಡ್ ಗ್ಯಾನ್ಜಿಂಗರ್ ಅವರ ವೈಯಕ್ತಿಕ ಮುಖಪುಟ-Dec.7th, 2013 ರ ಆವೃತ್ತಿಯು archive.org 1950 ಜನನಗಳಲ್ಲಿ ಉಳಿಸಲಾಗಿದೆ 2004 ಸಾವುಗಳು ಜರ್ಮನ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳನ್ನು ಸಾಬೀತುಪಡಿಸುವ ಸ್ವಯಂಚಾಲಿತ ಪ್ರಮೇಯ ಮ್ಯೂನಿಚ್ ತಾಂತ್ರಿಕ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಡಾರ್ಟ್ಮಂಡ್ ತಾಂತ್ರಿಕ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಶೈಕ್ಷಣಿಕ ಸಿಬ್ಬಂದಿ ಮ್ಯಾಕ್ಸ್ ಪ್ಲ್ಯಾಂಕ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಫಾರ್ ಇನ್ಫಾರ್ಮ್ಯಾಟಿಕ್ಸ್ ಮ್ಯಾಕ್ಸ್ ಪ್ಲ್ಯಾಂಕ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ನಿರ್ದೇಶಕರು