Juris Hartmanis

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Juris Hartmanis
Juris Hartmanis in 2002
Juris Hartmanis in 2002
Persoonlijke gegevens
Geboortedatum 5 juli 1928
Geboorteplaats Riga (Letland)
Wetenschappelijk werk
Vakgebied Informatica
Bekend van Complexiteitstheorie
Portaal  Portaalicoon   Informatica

Juris Hartmanis (5 juli 1928, Riga (Letland)) is een Lets informaticus. Samen met Richard E. Stearns won hij in 1993 de Turing Award voor het leggen van de funderingen van de complexiteitstheorie, zoals het gebruik van complexiteitsklassen.

Biografie[bewerken]

Hartmanis behaalde aan de Philipps-Universiteit Marburg in Duitsland een bachelorgraad in natuurkunde.[1] In 1951 behaalde hij in de Verenigde Staten een mastergraad in toegepaste wiskunde aan de University of Kansas City (tegenwoordig University of Missouri–Kansas City). In 1955 behaalde hij zijn Ph.D. in wiskunde aan het California Institute of Technology onder begeleiding van Robert P. Dilworth.

In 1958 begon Hartmanis te werken bij het General Electric Research Laboratory waar hij veel principes van de complexiteitstheorie ontwikkelde. In 1965 werd hij professor aan de Cornell-universiteit en tevens een van de oprichters van het informatica-departement van deze universiteit.

In 1965 publiceerde hij ook samen met Richard E. Stearns het werk getiteld On the computational complexity of algorithms in Transactions of the American Mathematics Society waarin de funderingen van de complexiteitstheorie gelegd werden. In deze publicatie werd de complexiteit van algoritmen voor het eerst gebaseerd op Turingmachines in tegenstelling tot eerder onderzoek op dit gebied. In 1985 zou Richard Karp dit bestempelen als een publicatie waarin de kijk op dit onderwerp werd veranderd.[2]

In 1993 ontving hij samen met Richard E. Stearns de Turing Award voor hun bijdragen aan de complexiteitstheorie:

"In recognition of their seminal paper which established the foundations for the field of computational complexity theory."
— Association for Computing Machinery[3]


Bronnen, noten en/of referenties
  1. Strikt gezien een graad die vergelijkbaar is met de hedendaagse bachelorgraad.
  2. (en) Interview met Juris Hartmanis, IEEE
  3. (en) ACM Award Citation - Juris Hartmanis