Leonid Anatolievič Levin
| Leonid Anatolievič Levin | |
|---|---|
 ukrajinsko-rusko-americký informatik |
|
|
|
|
| Narodenie | 2. november 1948 (64 rokov) Dnepropetrovsk, Ukrajina, vtedy Ukrajinská SSR, ZSSR |
|
Pozri aj Biografický portál |
|
Leonid Anatolievič Levin (rus. Леонид Анатольевич Левин; * 2. november 1948, Dnepropetrovsk, Ukrajina, vtedy Ukrajinská SSR, ZSSR) je sovietsko-americký informatik a matematik. Zaoberá sa predovšetkým teoretickou informatikou - najmä výpočtovou zložitosťou, pravdepodobnostnými algoritmami a teóriou informácií.
Levin v roku 1970 vyštudoval Moskovskú štátnu univerzitu M. V. Lomonosova, kde v roku 1972 získal aj titul kandidáta vied. Jeho školiteľom bol Andrej Nikolajevič Kolmogorov. Neskôr emigroval do Spojených štátov, kde na Massachusettskom technologickom inštitúte získal v roku 1978 titul PhD. V súčasnosti pôsobí ako profesor na Bostonskej univerzite.
Leonid Levin je známy predovšetkým vďaka svojej práci v oblasti výpočtovej zložitosti. Nezávisle na Stephenovi Cookovi v roku 1971 objavil, že SAT je NP-úplný problém, čím dokázal existenciu NP-úplných problémov. Tento výsledok je v súčasnosti známy ako Cookova-Levinova veta.
Zdroje[upraviť]
- Tento článok je čiastočný alebo úplný preklad článku Leonid Levin na anglickej Wikipédii.
- Tento článok je čiastočný alebo úplný preklad článku Левин, Леонид Анатольевич na ruskej Wikipédii.
 |
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |
