Descriptive Summary
Dijkstra, Edsger
Wybe
Edsger W. Dijkstra
Papers
1948-2002 Materials
are written in Dutch and
English.
2004-217; 2005-053; 2005-054; 2007-161
40 ft.
Dolph Briscoe Center for American
History, The University of Texas at
Austin
Edsger Wybe Dijkstra
(1930-2002) was a teacher and researcher of computer science. This collection
consists of materials documenting his extensive career, as well as his personal
life. Included are diaries, correspondence, writings and other materials. The
bulk of the collection is in Dutch, although many later writings are in
English.
Biographical NoteEdsger Wybe Dijkstra (1930-2002) was a
teacher and researcher of computer science. Born in Rotterdam, The Netherlands,
in 1930, he earned degrees in mathematics and theoretical physics from the
University of Leyden and a Ph.D. in computing science from the University of
Amsterdam. Dijkstra worked as a programmer (1952-1962) and professor
(1962-1984) in The Netherlands, and was also a Burroughs Corporation research
fellow (1973-1984). He held the Schlumberger Centennial Chair in Computing
Sciences at The University of Texas at Austin from 1984 until his retirement in
1999. He was awarded the 1972 ACM Turing Award, a prestigious award in the
field of computing. Dijkstra is known for connecting mathematical logic to
computer programming, as well as for general contributions to mathematical
methodology.

Scope and Contents This collection consists of materials
documenting E. W. Dijkstra's extensive career in the field of computer science,
as well as his personal life. Included are diaries, correspondence, writings,
and other materials. The bulk of the collection is in Dutch, although many
later writings are in English.

Forms part of the Archives of American
Mathematics.

Access RestrictionsThe bulk of this collection is stored remotely. Advance notice required for retrieval. Contact repository for retrieval.

Use RestrictionsThis collection is stored remotely. Advance notice
required for retrieval. Contact repository for retrieval.

Preferred CitationEdsger W. Dijkstra Papers, 1948-2002,
Archives of American Mathematics, Dolph Briscoe Center for American History, The University
of Texas at Austin

Related MaterialSee the E. W. Dijkstra Archive website
prepared by the University of Texas at Austin Computer Science Department for
online access to Dijkstra's "EWD" documents as well as other materials relating
to E. W. Dijkstra:
http://www.cs.utexas.edu/users/EWD/welcome.html

Index Terms
Dijkstra, Edsger
Wybe
University of Texas at
Austin. Dept. of Computer Sciences
Computer
programming
Computer sceince
Detailed Description of the Papers
Correspondence Index
4Aa1 (12609065)
September 8, 1975 - May 8, 1980
4Aa1 (12609065)
May 8, 1980 - November 20, 1991
Diaries
4Aa1 (12609065)
July 23, 1973 - March 9, 1975
4Aa1 (12609065)
March 9, 1975 - August 2, 1975
4Aa1 (12609065)
November 17, 1975 - January 21,
1977
4Aa1 (12609065)
February 16, 1977 - July 23, 1978
4Aa1 (12609065)
August 23, 1978 - July 20, 1980
4Aa1 (12609065)
October 1, 1979 - June 17, 1980
4Aa1 (12609065)
June 27, 1980 - March 18, 1981
4Aa1 (12609065)
March 18, 1981 - February 1, 1982
4Aa1 (12609065)
February 2, 1982 - April5, 1983
4Aa1 (12609065)
May 6, 1983 - December 3, 1984
4Aa1 (12609065)
December 12, 1984 - October 24,
1986
October 26, 1986 - April 11, 1990
4Aa2 (12613404)
June 25, 1990 - December 19, 1993
4Aa2 (12613404)
December 19, 1993 - July 17, 1996
4Aa2 (12613404)
July 17, 1996 - December 29, 1998
4Aa2 (12613404)
December 30, 1998 - October 27,
2001
"Brievenboek" notebook [index to
correspondence?]
4Aa2 (12613404)
February 6, 1957 - 1971
4Aa2 (12613404)
May 1, 1965 - December 15, 1971
Purple Notebook
4Aa2 (12613404)
Resume
4Aa2 (12613404)
Indexes, several, to EWD writings [including 28-1114,
37-1311 (Jan, 1953-2001), 537-710 (1975-1979)]
4Aa2 (12613404)
EWD 1166-Autobiography, resume,
1993
4Aa2 (12613404)
Notebook, "Detailed Resume"
4Aa2 (12613404)
Unidentified overhead transparencies
Correspondence
4Aa3 (12609178)
General:
4Aa3 (12609178)
Ackermans, S. T. M. - ACTA Infomatica - Boyer,
Roberts
4Aa4 (12609087)
BP Financial of BP Venture Research - Dahm,
David
4Aa5 (12613459)
Dale, Andrew - Faculty
4Aa6 (12613415)
Feeser, Walt - Feijen, W. H. J.; Dec., 2000
4Aa7 (12613470)
Feijen, W. H. J., Oct. , 2001 - Hesselink, W.
H.
4Aa8 (12608721)
Hewitt - IFIP W.G. 2.3 2001
4Aa9 (12609101)
IHT, Infotech - Levien, Raphael
4Aa10 (12609076)
Levin - Misra, Jayadev
4Aa11 (12613390)
Missouri, Mitchell - Rabbit, Regulinski
4Aa12 (12613437)
Reich - Senyszyn - Seminars, Lectures, Travel
1962-1975
4Aa13 (12609043)
Seres, Silvija - UT Application & Move - Toronto -
Wintle
4Aa14 (12609112)
Wirth - Zoetl
4Aa15 (12609032)
Personal:
4Aa15 (12609032)
Clint, Maurice- Gries, David, 1985
4Aa16 (12608732)
Gries, David, 1986 - Richards, Ham
4Aa17 (12609123)
Scholten, C. S. - Swierstra- Dijkstra, A. E. [letters to
and from]
4Aa14 (12609112)
Turski, W. M., 1967-2001
Writings
4Aa18 (12609145)
Partial Table of Contents
4Aa18 (12609145)
Algol Translator for Algol 60
4Aa18 (12609145)
AVG54C - 62-0
4Aa18 (12609145)
Cursus Programmern in Algol
4Aa18 (12609145)
CR-7, 8, 9
4Aa18 (12609145)
DR-18, 23r
4Aa18 (12609145)
IP - Inleiding Programmern
4Aa18 (12609145)
Lecture Notes-U of Minn, 1973; Various,
undated
4Aa18 (12609145)
MR-3, 12, 14, 16, 17, 20-27, 32-35, 46, 47, 55
4Aa18 (12609145)
NTF-4,
1956
4Aa18 (12609145)
Ontwerpschets Ontwikkelingsplan,
October 24, 1962
4Aa18 (12609145)
Programmering voor de ARMAC
4Aa18 (12609145)
Writings, various,
1950s? (legal size), 1955, 1961, 1962, 1966, 1967,
1979
4Aa18 (12609145)
ZW 1957-002, 1960-001
4Aa18 (12609145)
Notebook: EWD50, 7, 9, 10, 13-18, 20, 21, other,
23
4Aa18 (12609145)
EWD 19-316 (EWD 37 @ 1963)
4Aa18 (12609145)
EWD 227, mailing list,
1968
4Aa19 (12609156)
EWD 317-905 (EWD 537, @ 1975)
4Aa20 (12609189)
EWD 906-1317 (EWD 1317, 2002)
4Aa20 (12609189)
A Discipline of Programming
[includes EWDs not found in the general sequence: 383-384, 400, 403, 409-413,
424, 428, 430-431, 433-434, 436-438, 440-441, 444-445, 453, 458-461, 467-468],
undated
4Aa21 (12609190)
Books with EWD articles and others based upon his
writings
4Aa22 (12609167)
Student questionnaires and course evaluations
4Aa22 (12609167)
Catalogs of workshops, seminars, exhibitions,
publications
4Aa23 (12609214)
NATO summer school proceedings, lecture notes,
1975, 1981, 1984, 1986, 1988, 1990, 1992, 1994, 1996, 1998
4Aa23 (12609214)
Proceedings of the 1999 Oxford-Microsoft
Symposium
4Aa24 (12609134)
Writings and publications:
4Aa24 (12609134)
1960, 1962, 1963
4Aa24 (12609134)
Harry Goode Memorial Award, acceptance letter and
curriculum vitae
4Aa24 (12609134)
Mailing lists, summer school programs
4Aa24 (12609134)
Papers presented, book from private
collection
4Aa24 (12609134)
Publications, reprints,
1957-2001 and undated
4Aa24 (12609134)
Untitled, [introduction to volume on mathematical
methodology, 10 pp.],
undated
4Aa25 (12609010)
Honors and Invitations
Books
4Aa25 (12609010)
By EWD,
1959, 1962, 1979,1992
4Aa25 (12609010)
By relatives,
1950, 1965, 1987
4Aa25 (12609010)
From personal collection,
1967, 1984, 1985, 1987, 1988, 1998
4Aa26 (12613426)
Authored by Dijkstra or containing his writings or based
upon his work
4Aa27 (12613460)
Authored by Dijkstra and translated
4Aa27 (12613460)
International journals
4Aa28 (12613379)
Predicate Calculus & Program
Semantics, draft and galley proofs
4Aa28 (12613379)
Critical comments on "A Discipline of
Programming"
4Aa29 (12613368)
Predicate Calculus and Program
Semantics, handwritten manuscript
Honors
4Aa29 (12613368)
Originals for INS interview, [includes correspondence,
reprints, certificates and official documents, diploma, marriage
license],
1948-1984 and undated
4Aa29 (12613368)
Printed material and correspondence,
1974, 1994-1998
4Aa29 (12613368)
ACM-SIGCSE Award for Outstanding Contributions to Computer
Science Education, [plaque],
1989
4Aa29 (12613368)
ACM Fellow, certificate,
undated
4RM55a
ACM Turing Award,
1972
4RM55a
BIT appreciation artwork,
1987
E. W. Dijkstra's Mother's correspondence [in
Dutch]
4Aa29 (12613368)
EWD to Mother,
1951-1981, 1983-1985
4Aa29 (12613368)
Helena to Mother,
1965, 1974, 1975
4Aa29 (12613368)
Helena to Albert, Annette, Aunt,
1965, 1975
4Aa29 (12613368)
Unidentified to Mother,
1975, 1976
4Aa29 (12613368)
Letter of condolence to EWD,
1994
4Aa29 (12613368)
Letter from unidentified student to EWD,
undated
4Aa29 (12613368)
Interviews & Articles w/EWD,
1981, 1983, 1989, 1990
4Aa29 (12613368)
60th Birthday tribute
4Aa29 (12613368)
Record of Correspondence w/ T.M. Halbertsum,
1953-1997
4Aa29 (12613368)
Printed Matter & apothecary letter
4Aa29 (12613368)
Mathematical Works
4Aa29 (12613368)
EWD Reprints
4Aa14 (12609112)
Publications with articles about EWD
4Aa29 (12613368)
Publications with articles about EWD
4Aa30 (12613380)
Publications with articles about EWD
Writings by others
4Aa30 (12613380)
R. C. Backhouse
4Aa30 (12613380)
C. Bron
4Aa30 (12613380)
N. G. De Brugn
4Aa30 (12613380)
ARC (Gemenge)
4Aa30 (12613380)
Chandy, K. Maini / Jayadev Misra
4Aa30 (12613380)
W. H. J. Feijen
4Aa31 (12613448)
W. H. J. Feijen
1983-1996
4Aa31 (12613448)
A. J. M. van Gasteren,
1981-1995
4Aa31 (12613448)
M. G. Gouda,
1984-1991
4Aa31 (12613448)
D. Gries,
1975-1998
4Aa32 (12609021)
E. C. R. Hehner
4Aa32 (12609021)
W. H. Hesselink
4Aa32 (12609021)
A. W. Holt
4Aa32 (12609021)
R. R. Hoogerwoord
4Aa32 (12609021)
A. Kaldewaij
4Aa32 (12609021)
C. Lengauer
4Aa32 (12609021)
A. J. Martin, CS-137-138-139 81/82
4Aa32 (12609021)
Jayadev Misra
4Aa33 (12609203)
Rem, M.
4Aa33 (12609203)
Richards, H.
4Aa33 (12609203)
W. P. De Roever
4Aa33 (12609203)
Rutger, M.
4RM192
Scholten, C. S.:
4RM192
CSS 100-190 [excluding 122, essays similar to EWDs],
undated
4RM192
“Parallelism in multi-record transactions continued –
about ordering partially-ordered labeled graphs,”
1972
4RM192
“Axiomatic treatment of the synchronization of
processors,”
1973
4RM192
“A single-loop self-stabilizing event-graph,”
1973
4RM192
“Note on the self-stabilization of general event
graphs,”
1974
4RM192
“About the uniform convergence of a set of assignments,”
1975
4RM192
“Local and global considerations in the analysis of
crawling messages,”
1975
4RM192
“A strategy to make Petri-nets deadlockfree,”
1975
4RM192
“An analogon of Eichelberger’s theorem,”
1976
4RM192
An axiomatic approach to circuit theory,”
1976
4RM192
“My understanding of finite Boolean algebras and finite
fields,”
1976 and undated
4RM192
“An axiomatic definition of P- and V- operations,”
1977
4RM192
“A simplified form of a problem presented by A. Martin,”
1977
4RM193
“Some notes in the inversion of programs,"
1978
4RM193
“The equivalence of telex and mail systems,”
1979
4RM193
“Splitting up alternatives of a repetitive construct,”
1979
4RM193
“Multiple error correction, avoiding the use of the
error-locator polynomial,”
1980
4RM193
“On certain types of broadcasting systems,”
1980 and undated
4RM193
“A generalization of Menger’s theorem,”
undated
4RM193
Assorted papers,
1965-1983 and undated
4Aa33 (12609203)
Seitz, C.
4Aa33 (12609203)
Van de Snepscheut, J. L. A.
4Aa33 (12609203)
Turner
4Aa33 (12609203)
Wirth, N.
4RM203c
Photographs,
undated
3So18a
Oversized Photographs
undated
2.116/0D1199
Diploma, Gymnasium
1948