Juris Hartmanis
Le Juris Hartmanis (soutenu le 7 juillet , 1928 dans Riga , Lettonie ) est un informaticien en avant et le théoricien informatique qui, avec le Richard E. Stearns , ont reçu le " de la récompense de Turing de du ACM du 1993 ; dans le respect de leur papier séminal qui a établi les bases pour le champ du " de la théorie de complexité informatique ;.
Hartmanis était né dans le Lettonie . Il était un fils de Martins Hermanis, un général dans l'armée letton. Après que l'Union Soviétique ait occupé la Lettonie en 1940, Martins Hermanis a été arrêté par Soviets et est mort dans une prison. À la fin de la deuxième guerre mondiale , l'épouse et les enfants de Martins Hermanis ont quitté la Lettonie comme réfugiés, craignant pour leur sûreté si l'Union Soviétique succédait la Lettonie encore.
Ils se sont déplacés la première fois au Allemagne , où Juris Hartmanis a reçu l'équivalent d'une licence dans la physique de l'université de de Marburg . Alors il s'est déplacé au Etats-Unis , où il a reçu la maîtrise dans des mathématiques appliquées à l'université de de Kansas City (maintenant connu sous le nom d'université de de ville du Missouri-Kansas) en 1951 et du Ph. dans les mathématiques du Caltech sous la surveillance du Robert P.
Après enseignement à l'Université de Cornell et à l'université de l'Etat d'Ohio , Hartmanis a joint le laboratoire de recherche de General Electric en 1958. Tandis qu'à General Electric, il a développé les principes du de l'informatique. Dans le 1965 , il est devenu un professeur à l'Université de Cornell . À Cornell, il était un des fondateurs et du premier Président de son département de l'informatique du (qui était l'un des premiers départements de l'informatique dans le monde). Hartmanis est un camarade de l'association de pour le matériel de calcul et un membre d'académie de de la technologie nationale .
Il est le plus connu pour le sien Turing-attribuent le papier de gain avec Richard Stearns, dans lequel il a présenté le TEMPS de de classes de la complexité de temps de (f (n)) et a prouvé le théorème de hiérarchie de temps .
| Random links: | Centennial, Wyoming | John Melendez | Bouclier de lanterne | Satellite de l'amour | Paires à distance de programmation | Juris_Hartmanis |