Texas Archival Resources Online

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

University of Texas, Dolph Briscoe Center for American History

Edsger W. Dijkstra Papers, 1948-2002



Descriptive Summary

Creator: Dijkstra, Edsger W.
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.
Identification: urn:taro:utexas.cah.00378
Extent: 40 linear feet
Language: Dutch; Flemish , English .
Repository: Dolph Briscoe Center for American History, The University of Texas at Austin

Biographical Note

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 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


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.

Return to the Table of Contents


Restrictions

Conditions Governing Access

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

Conditions Governing Use

There are no use restrictions on this collection. Publisher is responsible for complying with copyright law.

Return to the Table of Contents


Index Terms

Personal Names
Dijkstra, Edsger W.
Corporate Names
University of Texas at Austin. Department of Computer Sciences
Subjects
Computer programming
Computer science

Return to the Table of Contents


Related Materials

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


Administrative Information

Preferred Citation

Edsger W. Dijkstra Papers, Archives of American Mathematics, Dolph Briscoe Center for American History, The University of Texas at Austin.

Accession Number(s)

2004-217; 2005-053; 2005-054; 2007-161; 2016-147

Return to the Table of Contents


Detailed Description of the Collection

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, 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
3W111 [SRH1230030404] EWD 804, AvG20/EWD 817, EWD 977, 994, 1089, 1144, 1233, 1986, 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, 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, 1991
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, 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 [SRH1230020473] 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




box
4AA29 EWD Reprints

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 [SRH1230024907] 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, undated
"An axiomatic definition of P- and V- operations,", 1977
"A simplified form of a problem presented by A. Martin,", 1977
box
4RM193 [SRH1230024908] "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, undated
"A generalization of Menger's theorem,", undated
Assorted papers, 1965-1983, undated
box
4AA33 Seitz, C.
Van de Snepscheut, J. L. A.
Turner
Wirth, N.

Return to the Table of Contents




box
4RM203c [SRH1230024920] Photographs, undated

Return to the Table of Contents




box
3So18a [SRH1230022157] Oversized Photographs, undated

Return to the Table of Contents




folder
OD1199 Diploma, Gymnasium, 1948

Return to the Table of Contents