Richard Manning Karp (born 1935) is a computer scientist and computational theorist, notable for research in the theory of algorithms, for which he received a Turing Award in 1985 and the Kyoto Prize in 2008.
| Property | Value |
|---|
| dbpedia-owl:Person/birthDate
| |
| dbpedia-owl:Person/birthPlace
| |
| dbpedia-owl:Person/individualisedPnd
| |
| dbpedia-owl:Person/knownFor
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:knownFor
| |
| dbpedia-owl:thumbnail
| |
| dbpprop:abstract
|
- Richard Manning Karp (born 1935) is a computer scientist and computational theorist, notable for research in the theory of algorithms, for which he received a Turing Award in 1985 and the Kyoto Prize in 2008.
- Richard M. Karp ist ein amerikanischer Informatiker. Er ist verantwortlich für bedeutende Erkenntnisse in der Komplexitätstheorie.
- Richard Manning Karp es un científico de la computación, conocido por su investigación en teoría de algoritmos, por lo que recibió el Premio Turing en 1985.
- Richard Karp, né en 1935 à Boston dans le Massachusetts, est un informaticien américain, connu pour ses recherches en théorie de la complexité. Il a reçu le prix Turing en 1985 pour ces travaux. Né de Abraham et Rose Karp à Boston, Karp a trois frères et soeurs : Robert, David et Carolyn. Il est entré à l'université de Harvard, où il reçut son Bachelor's degree en 1955, son Master's degree en 1956, et son Ph.D. de mathématiques appliquées en 1959. Il a ensuite travaillé pour IBM au centre de recherche Thomas J. Watson. En 1968, il devient professeur d'informatique et de mathématiques à l'Université de Californie, Berkeley, où il restera ensuite, à l'exception d'une période de 4 ans comme professeur à l'Université de Washington. Richard Karp a reçu la National Medal of Science et en 2004 la médaille Benjamin Franklin en informatique pour ses travaux sur la complexité algorithmique. Il fut cité de la façon suivante lors de la remise du prix Turing : Pour ses contributions continues à la théorie des algorithmes, notamment le développement d'algorithmes efficaces pour les réseaux et d'autres problèmes d'optimisation combinatoires, l'identification de calculabilité en temps polynomial avec la notion intuitive d'algorithme efficace, et surtout, ses contributions à la théorie de la NP-complétude. Karp a introduit la méthodologie désormais classique pour prouver qu'un problème est NP-complet, ce qui a permis d'identifier de nombreux problèmes pratiques et théoriques comme étant difficiles à calculer. En 1971 il a co-developpé avec Jack Edmonds l'algorithme d'Edmonds-Karp pour résoudre le problème du flux maximum dans les réseaux, et en 1972 il a publié un article fondateur en théorie de la complexité, dans lequel il prouve la NP-complétude de 21 problèmes. En 1987, il a co-developpé l'algorithme de Rabin-Karp. Il s'intéresse actuellement à la bioinformatique.
- リチャード・マニング・カープ（Richard Manning Karp、1935年 - ）は、情報工学者にして計算理論家であり、計算理論の研究で知られている。1985年にチューリング賞を受賞した。また、2008年には京都賞を受賞した。 カープはボストンに生まれた。ハーバード大学で1955年に学士号、1956年に修士号、1959年に応用数学の博士号を取得した。その後、IBMのトーマス・J・ワトソン研究所に勤務した。1968年、カリフォルニア大学バークレー校の情報工学、数学、オペレーションズリサーチに関する教授となった。4年間だけワシントン大学で教授を務めたが、それ以外は常にバークレーにとどまっていた。2004年、カープは計算複雑性理論への貢献に対してベンジャミン・フランクリンメダルを授与された。 チューリング賞受賞理由は以下のとおり: ネットワークフローや組合せ最適化問題に関する効率的アルゴリズムの開発、アルゴリズムの効率を判断する基準となる多項式時間の識別など計算理論に関する長年の貢献と、特にNP完全理論への貢献に対して。理論上でも実際上でも与えられた問題の計算複雑度を識別してNP完全かどうかを証明するための方法論はカープが導入し、今日では一般化している。 1971年、彼はジャック・エドモンズと共同でネットワークの最大フロー問題を解くエドモンズ-カープアルゴリズムを開発した。 1987年、彼はマイケル・ラビンと共同でラビン-カープ文字列探索アルゴリズムを共同開発した。 カープは情報工学とオペレーションズリサーチに関わる組合せ最適化について他にも多数の重要な発見をしている。彼の最近の研究テーマにはバイオインフォマティクスも含まれる。
- Richard Manning Karp er en amerikansk informatiker som har gitt betydningsfulle bidrag til forskning innen kompleksitetsteori. For dette arbeidet mottok han Turing-prisen i 1985. Karp gikk på Harvard University hvor han tok bachelorgraden i 1955, mastergraden i 1956 og doktorgraden i anvendt matematikk i 1959. Deretter jobbet han på Thomas J. Watson Research Center hos IBM. I 1968 ble han professor i informatikk, matematikk og operations research ved University of California, Berkeley. Siden det har han vært i Berkeley, med unntak av fire år hvor han arbeidet som professor ved University of Washington. Karp mottok også Benjamin Franklin-medaljen i 2004 i informatikk og kognitiv vitenskap for bidragene sine innen kompleksitetsteori. I 1971 utviklet han Edmonds-Karp-algoritmen for max-flyt-problemet sammen med Jack Edmonds, og i 1972 publiserte han en viktig artikkel i kompleksitetsteori, Reducibility Among Combinatorial Problems hvor han viste at 21 problemer er NP-fullstendige. I 1987 utviklet han Rabin-Karp-algoritmen for tekstsøking sammen med Michael O. Rabin. Han har gjort mange andre viktige oppdagelser i informatikk, spesielt i kombinatorisk optimalisering. For tiden er hans viktigste forskningsområde bioinformatikk.
- Richard Manning Karp - amerykański informatyk, ceniony za wkład w rozwój teorii obliczeń, za co otrzymał nagrodę Turinga w 1985 roku. Laureat pierwszej nagrody EATCS za rok 2000.
- Richard Manning Karp este un specialist în calculatoare electronice cunoscut pentru cercetările sale în domeniul algoritmilor, pentru care a primit Premiul Turing în 1985. Este coautor al algoritmului Edmonds Karp
- Ричард Мэннинг Карп — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
|
| dbpprop:after
| |
| dbpprop:before
| |
| dbpprop:birthDate
| |
| dbpprop:birthPlace
| |
| dbpprop:caption
|
- Richard Karp giving at talk at the EPFL on 13th of July 2009
|
| dbpprop:dateOfBirth
| |
| dbpprop:doctoralStudents
| |
| dbpprop:field
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:knownFor
| |
| dbpprop:name
|
- Karp, Richard Manning
- Richard Manning Karp
|
| dbpprop:nationality
| |
| dbpprop:prizes
| |
| dbpprop:reference
| |
| dbpprop:shortDescription
|
- American computer scientist
|
| dbpprop:title
|
- Benjamin Franklin Medal in Computer and Cognitive Science
|
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| dbpprop:workInstitution
| |
| dbpprop:years
| |
| rdf:type
| |
| rdfs:comment
|
- Richard Manning Karp (born 1935) is a computer scientist and computational theorist, notable for research in the theory of algorithms, for which he received a Turing Award in 1985 and the Kyoto Prize in 2008.
- Richard M. Karp ist ein amerikanischer Informatiker. Er ist verantwortlich für bedeutende Erkenntnisse in der Komplexitätstheorie.
- Richard Manning Karp es un científico de la computación, conocido por su investigación en teoría de algoritmos, por lo que recibió el Premio Turing en 1985.
- Richard Karp, né en 1935 à Boston dans le Massachusetts, est un informaticien américain, connu pour ses recherches en théorie de la complexité. Il a reçu le prix Turing en 1985 pour ces travaux. Né de Abraham et Rose Karp à Boston, Karp a trois frères et soeurs : Robert, David et Carolyn. Il est entré à l'université de Harvard, où il reçut son Bachelor's degree en 1955, son Master's degree en 1956, et son Ph.D. de mathématiques appliquées en 1959.
- Richard Manning Karp er en amerikansk informatiker som har gitt betydningsfulle bidrag til forskning innen kompleksitetsteori. For dette arbeidet mottok han Turing-prisen i 1985. Karp gikk på Harvard University hvor han tok bachelorgraden i 1955, mastergraden i 1956 og doktorgraden i anvendt matematikk i 1959. Deretter jobbet han på Thomas J. Watson Research Center hos IBM. I 1968 ble han professor i informatikk, matematikk og operations research ved University of California, Berkeley.
- Richard Manning Karp - amerykański informatyk, ceniony za wkład w rozwój teorii obliczeń, za co otrzymał nagrodę Turinga w 1985 roku. Laureat pierwszej nagrody EATCS za rok 2000.
- Richard Manning Karp este un specialist în calculatoare electronice cunoscut pentru cercetările sale în domeniul algoritmilor, pentru care a primit Premiul Turing în 1985. Este coautor al algoritmului Edmonds Karp
- Ричард Мэннинг Карп — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
|
| rdfs:label
|
- Richard Karp
- Richard M. Karp
- Richard Karp
- Richard Karp
- リチャード・カープ
- Richard M. Karp
- Richard Karp
- Richard Karp
- Карп, Ричард Мэннинг
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:depiction
| |
| foaf:givenname
|
- Richard Manning
- Richard Manning
|
| foaf:name
|
- Richard Manning Karp
- Richard Manning Karp
|
| foaf:page
| |
| foaf:surname
| |
| is dbpprop:disambiguates
of | |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
