Juris Hartmanis

Article

August 13, 2022

Juris Hartmanis (5 luglio 1928-29 luglio 2022) è stato uno scienziato informatico e teorico computazionale americano di origine lettone che, con Richard E. Stearns, ha ricevuto l'ACM Turing Award nel 1993 "in riconoscimento del loro documento seminale che ha gettato le basi per il campo della teoria della complessità computazionale".

Vita e carriera

Hartmanis è nato in Lettonia il 5 luglio 1928. Era figlio di Mārtiņš Hartmanis, generale dell'esercito lettone, e fratello del poeta Astrid Ivask. Dopo che l'Unione Sovietica occupò la Lettonia nel 1940, Mārtiņš Hartmanis fu arrestato dai sovietici e morì in prigione. Più tardi, durante la seconda guerra mondiale, la moglie ei figli di Mārtiņš Hartmanis lasciarono la Lettonia nel 1944 come rifugiati, temendo per la loro sicurezza se l'Unione Sovietica avesse ripreso il controllo della Lettonia. Si trasferirono prima in Germania, dove Juris Hartmanis ricevette l'equivalente di un master in fisica dell'Università di Marburgo. Si trasferì poi negli Stati Uniti, dove nel 1951 conseguì un master in matematica applicata presso l'Università di Kansas City (ora conosciuta come University of Missouri-Kansas City) e nel 1955 un dottorato di ricerca. in matematica al Caltech sotto la supervisione di Robert P. Dilworth. L'Università del Missouri-Kansas City lo ha insignito della laurea honoris causa in lettere umane nel maggio 1999. Dopo aver insegnato matematica alla Cornell University e alla Ohio State University, Hartmanis è entrato a far parte del General Electric Research Laboratory nel 1958. Mentre era alla General Electric, ha sviluppato molti principi della teoria della complessità computazionale. Nel 1965 divenne professore alla Cornell University. È stato uno dei fondatori e il primo presidente del suo dipartimento di informatica (che è stato uno dei primi dipartimenti di informatica al mondo). Hartmanis ha contribuito in molti modi agli sforzi nazionali per far progredire l'informatica e l'ingegneria (CS&E). Più significativamente, ha presieduto lo studio del Consiglio nazionale delle ricerche che ha portato alla pubblicazione del 1992 Computing the Future - A Broad Agenda for Computer Science and Engineering, che ha formulato raccomandazioni basate sulle sue priorità per sostenere lo sforzo principale in CS&E, per ampliare il campo e per migliorare l'istruzione universitaria in CS&E. È stato vicedirettore della National Science Foundation (NSF) Directorate of Computer and Information Science and Engineering (CISE) dal 1996 al 1998. Nel 1989, Hartmanis è stato eletto membro della National Academy of Engineering per i contributi fondamentali alla teoria della complessità computazionale e alla ricerca e alla formazione in informatica. È stato membro dell'Association for Computing Machinery e dell'American Mathematical Society, nonché membro della National Academy of Sciences. È stato anche membro straniero dell'Accademia delle scienze lettone, che gli ha conferito la Gran Medaglia nel 2001 per i suoi contributi all'informatica. Insieme a R.E. Stearns, Hartmanis ha ricevuto nel 1993 il Turing Award per un documento in cui hanno introdotto le classi di complessità temporale TIME(f(n)) e hanno dimostrato il teorema della gerarchia temporale. Un altro articolo di Hartmanis del 1977, con Leonard Berman, ha introdotto la congettura Berman-Hartmanis ancora irrisolta secondo cui tutte le lingue NP-complete sono isomorfe a tempo polinomiale. Hartmanis è morto il 29 luglio 2022.

Premi

Fellow, Associazione americana per l'avanzamento della scienza (AAAS), 1981 Membro, Accademia Nazionale di Ingegneria, 1989 Membro (straniero): Accademia lettone delle scienze, 1990 Membro, Accademia americana delle arti e delle scienze, 1992 Premio ACM Turing 1993 Premio per la ricerca della Fondazione Humboldt, 1993 Charter Fellow, ACM, 1994 Dottore honoris causa in lettere umanitarie, 1999 Premio Distinguished Service della Computing Research Association (CRA), 2000 Gran Medaglia dell'Accademia delle Scienze lettone, 2001 Premio ACM Distinguished Service, 2013 Inaugural Fellow, American Mathematical Society, 2013 Membro, Accademia Nazionale delle Scienze, 2013

Pubblicazioni selezionate

Libri Articoli selezionati

Interviste

Juris Hartmanis è stato intervistato quattro volte. I video sono un