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