For the violinist, see Michael Rabin (violinist). Michael Oser Rabin is a computer scientist and a recipient of the Turing Award.
| Property | Value |
|---|
| dbpedia-owl:Person/birthDate
| |
| dbpedia-owl:Person/birthPlace
| |
| dbpedia-owl:Person/knownFor
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:knownFor
| |
| dbpprop:abstract
|
- For the violinist, see Michael Rabin (violinist). Michael Oser Rabin is a computer scientist and a recipient of the Turing Award.
- Michael O. Rabin ist ein Informatiker. Er hat sich besonders im Bereich der Kryptologie in Zusammenhang mit Primzahlen und im Bereich Automatentheorie verdient gemacht. Seine Tochter Tal Rabin leitet die Cryptography and Privacy Research Group am Thomas J. Watson Research Center von IBM.
- Michael O. Rabin est un informaticien et un logicien ; il a été récipiendaire du prix Turing, la récompense la plus prestigieuse en informatique. Rabin est né fils de rabbin. Il a reçu une maîtrise de l'Université hébraïque de Jérusalem en 1953 et un doctorat de l'université Princeton en 1956. La citation pour le prix Turing, attribué en 1976 conjointement à Michael Rabin et Dana Scott pour un article écrit en 1959, déclare qu'on a accordé la récompense : Pour leur article "Finite Automata and Their Decision Problem" présentant l'idée des machines non déterministes qui s'est révélée être un concept d'une énorme valeur. Leur article classique a été une source continue d'inspiration pour le travail qui s'en est suivi dans ce domaine. Les machines non déterministes sont devenues un concept clé dans la complexité algorithmique, en particulier avec la description des classes de complexité P et NP. En 1957 et 1958, Rabin a démontré que divers problèmes de théorie de groupes sont indécidables (ce sont les premiers du genre). En 1969, Rabin a démontré que l'arithmétique monadique du second ordre (avec k successeurs) est décidable. En 1974, Rabin a démontré avec Michel Fischer que l'Arithmétique de Presburger a une complexité super-exponentielle. En 1975, Rabin a inventé un algorithme randomisé, le test de primalité de Miller-Rabin, qui détermine très rapidement, mais avec une minuscule probabilité d'erreur, si un nombre est un nombre premier. Cet algorithme est essentiel à l'implémentation de la plupart des algorithmes de cryptographie asymétrique. En 1979, Rabin a inventé le cryptosystème de Rabin, qui est le premier cryptosystème asymétrique dont la sécurité se réduit à l'intractabilité de la factorisation d'un nombre entier. En 1981, Rabin a inventé la technique du transfert inconscient, permettant à un expéditeur de transmettre un message à un récepteur afin que celui-ci ait une certaine probabilité, entre zéro et un, d'apprendre le message, tandis que l'expéditeur ne sait rien du succès du récepteur. En 1987, Rabin, ainsi que Richard Karp, a créé un des algorithmes efficaces les plus bien connus de recherche de chaîne de caractères, l'algorithme de Rabin-Karp. Les recherches actuelles de Rabin se concentrent sur la sécurité des systèmes informatiques et il est actuellement professeur titulaire de la chaire d'informatique Thomas J. Watson Sr. à l'Université Harvard et professeur d'informatique à l'Université hébraïque de Jérusalem.
- マイケル・ラビン（Michael Oser Rabin、1931年 - ）は、著名な情報工学者であり、その分野で最も権威のあるチューリング賞を受賞した。 ラビンはラビの息子として当時ブレスラウと呼ばれた町（ドイツ領時代。現在はポーランドの一部でありヴロツワフと呼ばれている）で生まれた。1953年、ヘブライ大学で修士号を取得し、1956年にはプリンストン大学で博士号を取得している。 1959年にデイナ・スコットと共同で執筆した論文により、1976年にチューリング賞を授与された。受賞理由は「彼らの共作論文 "Finite Automata and Their Decision Problem"（有限状態機械とその決定性問題）に対して。その論文は非決定性マシンという非常に貴重な概念を導入した。この古典的論文はこの分野の後続の者たちに絶えずインスピレーションを与えてくれた」とのことであった。 非決定性有限オートマトンは計算複雑性理論の重要な概念となった。特にP≠NP予想の説明の際に重要となる。 1975年、ラビンはミラー-ラビン素数判定法を発明した。これは、数が素数であるかどうかを非常に迅速に判定できる確率的アルゴリズムである（ただし間違う可能性が若干存在する）。公開鍵暗号にはRSA暗号のように大きな素数を秘密鍵とするものも多く、高速な素数判定法は鍵生成の実装に重要である。 1979年、ラビンはラビン暗号を発明した。それは、暗号文を解読する手間が公開鍵である合成数の素因数分解と同程度と証明された最初の公開鍵暗号である。 1981年、ラビンは紛失通信(Oblivious Transfer)と呼ばれる手法を発明した。これは、送信側が2つのメッセージを送り、受信側がそのうち片方のみを受け取るが、送信側にはどちらを受け取ったか分からないというもので、マルティパーティプロトコルの部品としても使用される暗号プロトコルの要素技術の一つである。 1987年、ラビンはリチャード・カープとともに有名で効率的なラビン-カープ文字列探索アルゴリズムを開発した。 ラビンはその後コンピュータセキュリティの研究に集中している。彼はハーバード大学とヘブライ大学の情報工学の教授である。2007年には、客員教授としてコロンビア大学で教鞭を執った。
- Michael O. Rabin is een Amerikaans informaticus en ontvanger van de Turing Award. Rabin studeerde af aan de Hebreeuwse Universiteit van Jeruzalem in 1953. Hij behaalde zijn doctorstitel aan de Universiteit van Princeton in 1956. In 1976 ontving hij samen met Dana Scott de Turing Award: Voor hun gezamenlijke artikel "Finite Automata and Their Decision Problem," welke het idee van non-deterministische machines introduceert, wat zich heeft bewezen als een enorm waardevol concept. Hun klassieke artikel (Scott & Rabin) vormt een continue bron van inspiratie voor hieropvolgend werk in dit gebied. Non-deterministische machines zijn een erg belangrijk concept geworden binnen de complexiteitstheorie. Met name met betrekking tot het beschrijven van complexiteitsklasses P en NP. In 1975 vond Rabin een algoritme voor willekeurige verdeling (Miller-Rabin primality test) uit waarmee men heel snel, weliswaar met een minimale foutmarge, kan bepalen of een bepaald getal een priemgetal is. Deze techniek wordt veelvuldig toegepast binnen de cryptografie. Hij is tevens uitvinder van het Rabin-cryptosysteem. In 1987 ontwikkelde Rabin, samen met Richard Karp, een van de bekendste efficiënte stringzoekalgoritmen, het stringzoekalgoritme van Rabin-Karp. Het recente onderzoek van Rabin concentreert zich op computerbeveiliging. Momenteel is hij Professor of Computer Science aan de Harvard-universiteit.
- Michael Oser Rabin (ur. 1931 we Wrocławiu, w ówczesnych Niemczech) - specjalista w dziedzinie kryptografii, laureat Nagrody Turinga w 1976, profesor nauk komputerowych w Harvard University. Urodzony w żydowskiej rodzinie rabinackiej, po wojnie ukończył Hebrew University of Jerusalem, w 1956 zdobył stopień doktorski w Princeton University. Nagrodę Turinga otrzymał wspólnie z Dana Scottem za pracę napisaną w 1959: Finite Automata and Their Decision Problem, która wprowadzała ideę maszyn niedetermistycznych, inspirujacą w następnych latach liczne badania na tym polu. W 1975 Rabin wynalazł algorytm, który szybko i z minimalnym prawdopodobieństwem błędu potrafi określić, czy dana liczba jest liczbą pierwszą. Algorytm ten znalazł zastosowanie w implementacji szyfrowania z kluczem publicznym. W 1987 wspólnie z Richardem Karpem stworzył skuteczny algorytm wyszukiwania ciągów znaków. Jego obecne prace dotyczą przede wszystkim zagadnień bezpieczeństwa komputerowego. 13 lipca 2007 otrzymał tytuł doktora honoris causa Uniwersytetu Wrocławskiego.
- Michael Oser Rabin este un informatician israelian, laureat al Premiului Turing, pentru lucrarea Automatele finite şi problema deciziei lor, publicată împreună cu Dana Scott, în care cei doi au introdus noţiunea de automat finit nedeterminist. De asemenea, este cunoscut drept coautor al algoritmului de căutare în şiruri de caractere Rabin-Karp.
- Михаэль Озер Рабин — израильский учёный в обасти теории вычислительных систем, математик, лауреат премии Тьюринга и многих других премий. Его дочь, Таль Рабин, руководит научной группой Cryptography and Privacy Research Group в компании IBM.
- 迈克尔·O·拉宾（Michael Oser Rabin，希伯来语：מִיכָאֵל אֹשֶׁר רַבִּין ）是一名以色列计算机科学家，1976年图灵奖得主。
|
| dbpprop:birthDate
| |
| dbpprop:birthPlace
| |
| dbpprop:dateOfBirth
| |
| dbpprop:field
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:knownFor
| |
| dbpprop:name
|
- Michael Oser Rabin
- Rabin, Michael Oser
|
| dbpprop:prizes
| |
| dbpprop:reference
| |
| dbpprop:shortDescription
|
- Polish computer scientist
|
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| dbpprop:workInstitution
| |
| rdf:type
| |
| rdfs:comment
|
- For the violinist, see Michael Rabin (violinist). Michael Oser Rabin is a computer scientist and a recipient of the Turing Award.
- Michael O. Rabin ist ein Informatiker. Er hat sich besonders im Bereich der Kryptologie in Zusammenhang mit Primzahlen und im Bereich Automatentheorie verdient gemacht. Seine Tochter Tal Rabin leitet die Cryptography and Privacy Research Group am Thomas J. Watson Research Center von IBM.
- Michael O. Rabin est un informaticien et un logicien ; il a été récipiendaire du prix Turing, la récompense la plus prestigieuse en informatique. Rabin est né fils de rabbin. Il a reçu une maîtrise de l'Université hébraïque de Jérusalem en 1953 et un doctorat de l'université Princeton en 1956.
- Michael O. Rabin is een Amerikaans informaticus en ontvanger van de Turing Award. Rabin studeerde af aan de Hebreeuwse Universiteit van Jeruzalem in 1953. Hij behaalde zijn doctorstitel aan de Universiteit van Princeton in 1956. In 1976 ontving hij samen met Dana Scott de Turing Award: Voor hun gezamenlijke artikel "Finite Automata and Their Decision Problem," welke het idee van non-deterministische machines introduceert, wat zich heeft bewezen als een enorm waardevol concept.
- Michael Oser Rabin (ur. 1931 we Wrocławiu, w ówczesnych Niemczech) - specjalista w dziedzinie kryptografii, laureat Nagrody Turinga w 1976, profesor nauk komputerowych w Harvard University. Urodzony w żydowskiej rodzinie rabinackiej, po wojnie ukończył Hebrew University of Jerusalem, w 1956 zdobył stopień doktorski w Princeton University.
- Michael Oser Rabin este un informatician israelian, laureat al Premiului Turing, pentru lucrarea Automatele finite şi problema deciziei lor, publicată împreună cu Dana Scott, în care cei doi au introdus noţiunea de automat finit nedeterminist. De asemenea, este cunoscut drept coautor al algoritmului de căutare în şiruri de caractere Rabin-Karp.
- Михаэль Озер Рабин — израильский учёный в обасти теории вычислительных систем, математик, лауреат премии Тьюринга и многих других премий. Его дочь, Таль Рабин, руководит научной группой Cryptography and Privacy Research Group в компании IBM.
- 迈克尔·O·拉宾（Michael Oser Rabin，希伯来语：מִיכָאֵל אֹשֶׁר רַבִּין ）是一名以色列计算机科学家，1976年图灵奖得主。
|
| rdfs:label
|
- Michael O. Rabin
- Michael O. Rabin
- Michael Rabin
- マイケル・ラビン
- Michael Rabin
- Michael O. Rabin
- Michael Rabin
- Рабин, Михаэль Озер
- 迈克尔·拉宾
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:givenname
|
- Michael Oser
- Michael Oser
|
| foaf:name
|
- Michael Oser Rabin
- Michael Oser Rabin
|
| foaf:page
| |
| foaf:surname
| |
| is dbpedia-owl:Person/influencedBy
of | |
| is dbpedia-owl:Scientist/doctoralAdvisor
of | |
| is dbpedia-owl:Scientist/doctoralStudent
of | |
| is dbpedia-owl:doctoralAdvisor
of | |
| is dbpedia-owl:doctoralStudent
of | |
| is dbpedia-owl:influencedBy
of | |
| is dbpprop:disambiguates
of | |
| is dbpprop:doctoralAdvisor
of | |
| is dbpprop:doctoralStudents
of | |
| is dbpprop:influences
of | |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
