Edsger Dijkstra's Library (Housed and Archived in Leuven, Belgium)
The personal library of computer scientist Edsger Dijkstra, containing books, papers, and correspondence spanning his career, is housed and archived in Leuven, Belgium. The collection reflects his influential work on algorithms, programming, and formal verification.
Background
Edsger Dijkstra (1930–2002) was a Dutch computer scientist and one of the field's most influential thinkers. He pioneered structured programming, invented the shortest-path algorithm that bears his name, and wrote extensively on programming methodology, concurrency, and mathematical rigor. His personal library — thousands of books, papers, notes, and correspondence — is housed at the KU Leuven University Archives in Belgium. The collection offers an unparalleled window into the intellectual history of computing during its formative decades.