Kenneth Eugene Iverson

Kenneth Eugene Iverson (Camrose, 17 december 1920 – Toronto, 19 oktober 2004) was een Canadees informaticus.

Iverson was gespecialiseerd in formele talentheorie en deed veel onderzoek naar het gebruik van wiskundige notaties in programmeertalen en methoden. In 1979 ontving hij de Turing Award voor zijn bijdragen aan de wiskundige notatie en theorie der programmeertalen.

Daarnaast werd hij in 1983 geëerd met het instellen van de naar hem vernoemde Iverson Award voor bijdragen aan de programmeertaal APL.

Iverson studeerde wiskunde en natuurkunde aan de Queen's University te Kingston in Canada. In 1951 behaalde hij in deze onderwerpen zijn bachelor. Hij studeerde verder te Harvard, waar hij eveneens in 1951 zijn master in de wiskunde behaalde en vervolgens in 1954 promoveerde in de toegepaste wiskunde.

Hij werd te Harvard aangesteld als postdoc en universitair docent. In die hoedanigheid ontwikkelde hij een wiskundige notatie voor het werken met arrays, die hij ook aan zijn studenten onderwees. In 1962 stapte hij over naar IBM, waar hij samen met Adin Falkoff werkte aan de ontwikkeling van APL -- de basis hiervoor was de door Iverson ontwikkelde notatie. In 1970 werd hij benoemd tot IBM Fellow.

In later jaren ontwikkelde hij de programmeertaal J.

Bekende boeken

A Programming Language (1962)
Automatic Data Processing (samen met Frederick Brooks, 1963)
Elementary Functions: An Algorithmic Treatment (Science Research Associates, Inc., 1966)
A Source Book in APL (samen met Adin D. Falkoff, APL Press, 1981)
Tangible Math (Iverson Software Inc., 1990)
The ISI Dictionary of J (Iverson Software Inc., 1991)

Bronnen, noten en/of referenties

(en) Korte biografie op www.science.ca
(en) Ehud Lamms gedenkschrift op lambda-the-ultimate.org
(en) Artikel over APL
(en) Remembering Kenneth E. Iverson, een verzameling anekdotes en verhalen verschenen in Vector, het periodiek van de British APL Association
(en) A Celebration of the life of Kenneth Eugene Iverson