Has anyone here studied under Dijkstra? I only know of one programmer who did - one of the best hackers I've ever met, who eventually dropped out of UT to prog

Has anyone here studied under Dijkstra? I only know of one programmer who did - one of the best hackers I've ever met, who eventually dropped out of UT to program full time. I never asked about his opinions of the professor, and anything I could write would be second hand. I had a professor out of UT for my programming languages class. When asked, "How do you go about debugging interpreters?" he responded, "I don't debug. I prove every line of code correct before I type it." Was Dijkstra inspiring? Or just a pedantic fuddy-duddy?