Dijkstra held a series of academic posts until his retirement in 2000 and also worked for the Burroughs Corporation in the 1970s. He is best known for his theoretical work on structured programming (both senses) and program correctness proofs. His other achievements include Dijkstra’s algorithm, the semaphore, work on the first Algol 60 compiler, and many essays on programming.