{{위키데이터 속성 추적}}
{{다른 사람|마이클 래빈||바이올리니스트}}
{{과학자 정보
| 그림 = M O Rabin.jpg
| 이름 = 미하엘 라빈
| 원어이름 = מִיכָאֵל עוזר רַבִּין
| 태어난 날 = {{출생일과 나이|1931|9|1}}
| 태어난 곳 = [[바이마르 공화국]] [[브로츠와프]]
| 죽은 날 =
| 죽은 곳 =
| 거주지 =
| 시민권 =
| 국적 = {{국기|이스라엘}}
| 분야 = [[컴퓨터 과학]]
| 소속 = [[하버드 대학교]]<br />[[예루살렘 히브리 대학교]]<br />[[컬럼비아 대학교]]
| 출신 대학 = [[예루살렘 히브리 대학교]] <small>(M.S. 1953)</small><br />[[프린스턴 대학교]] <small>(Ph.D. 1956)</small>
| 지도교수 = [[알론조 처치]]
| 지도학생 = Moshé Machover<br />[[사하론 셸라흐]]<br />Dov Gabbay<br />Giuseppe Persiano
| 주요 업적 = [[밀러-라빈 소수판별법]]<br />[[라빈 암호체계]]<br />[[분실 통신]]<br />[[라빈-카프 문자열 검색 알고리즘]]<br />[[비결정성 유한 상태 기계]]<br />[[확률적 알고리즘]]
| thesis_title = Recursive Unsolvability of Group Theoretic Problems
| thesis_year = 1957
| author_abbreviation_bot =
| author_abbreviation_zoo =
| 수상 = [[튜링상]] <small>(1976)</small><br />[[파리 카넬라키스 상]] {{small|(2003)}}<br />[[이스라엘 상]]<br />[http://en.emetprize.org/ 에메트 상]<br />[[하비 상]]<br />[[댄 데이비드 상]]<br />[[다익스트라 상]]
}}

'''미하엘 오제르 라빈'''({{llang|he|מִיכָאֵל עוֹזֶר רַבִּין}}, {{llang|en|Michael Oser Rabin|마이클 오저 라빈}}, 1931년 9월 1일 ~ ) 박사는 [[이스라엘]]의 저명한 [[전산학자]]이다. [[튜링상]] 수상자이기도 하다.

== 학력 ==
* ~1948년: 하이파고등학교 졸업
* ~1953년: 예루살렘 히브리대학교 전산학 석사
* ~1956년: 프린스턴 대학교 전산학 박사

== 생애 ==
라빈은 오늘날 [[폴란드]] 영토인 [[브로츠와프]]에서 [[랍비]]의 아들로 태어났다. [[1953년]]에 [[예루살렘 히브리 대학교]]에서 석사를 마쳤고, [[1956년]]에는 [[프린스턴 대학교]]에서 박사 학위를 받았다.

현재 [[하버드 대학교]] 전산학과 토머스 왓슨(Thomas J. Watson Sr.) 석좌 교수이며 [[예루살렘 히브리 대학교]] 전산학과 교수이다.

== 업적 ==
[[1976년]]에 라빈과 [[데이나 스콧]]은 [[1959년]]에 쓴 논문의 가치를 인정받아 [[튜링상]]을 수상했다. 라빈과 스콧의 공로는 다음과 같다. (튜링상 위원회의 공식 논평)

: 라빈과 스콧의 공동 논문 〈유한 자동장치와 판정문제(Finite Automata and Their Decision Problem)〉는 비결정론적 기계의 개념을 도입했고 이것은 매우 값진 의미를 가진다. 그들의 모범이 되는 논문은 이 분야의 관련된 연구를 위한 마르지 않는 영감의 원천이다.

비결정론적 기계는 [[계산 복잡도 이론]]에서 핵심적인 개념이다. 비결정론적 기계가 중요한 의미를 가지는 예에서 가장 유명한 것이 바로 [[P-NP 문제]]이다.

[[1975년]]에는 [[밀러-라빈 소수판별법]]을 개발했다. 이 알고리즘은 [[확률적 알고리즘]]으로서 오류가 발생할 아주 작은 확률이 있지만 매우 빠른 시간안에 주어진 수가 [[소수 (수론)|소수]]인지 아닌지 검사하는 알고리즘이다. 이와 같이 빠른 시간안에 소수를 판별하는 것은 [[공개열쇠암호]]에서 핵심적인 역할을 한다.

[[1979년]]에는 [[라빈 암호체계]]를 개발했다. 이것은 [[소인수 분해]]의 어려움에 기반하여 안전성을 증명한 첫 번째 비대칭 암호체계이다.

[[1981년]]에는 [[oblivious transfer]]라는 기술을 개발하였다. 이것은 어떤 사람이 메시지를 보냈을 때, 보내는 사람은 제대로 전송되었는지 알 수 없지만 받는 사람은 0에서 1 사이의 확률로 메시지를 제대로 전송받는 기술이다.

[[1987년]]에는 [[리처드 카프]]와 함께 가장 널리 알려진 [[문자열 검색 알고리즘]]의 한가지인 [[라빈-카프 문자열 검색 알고리즘]]을 만들었다.

라빈의 최근 연구과제는 컴퓨터 보안이다.

== 외부 링크 ==
{{위키공용분류}}
* [http://www.sis.pitt.edu/~mbsclass/hall_of_fame/rabin.html Short Description in a Information Science Hall of Fame at University of Pittsburgh.]
* [http://www.acm.org/awards/turing_citations/rabin.html ACM Turing Award Citation]
* [https://archive.today/20060206101442/http://cri.haifa.ac.il/index.html?http://cri.haifa.ac.il/events/2005/graph/oblivious.htm Oblivious transfer]
* [https://web.archive.org/web/20060301152535/http://www.digitas.harvard.edu/cgi-bin/wiki/ken/RabinismCollection Quotes from some of Professor Rabin's classes]

{{튜링상 수상자}}
{{전거 통제}}
{{기본정렬:라빈, 미하엘}}

[[분류:1931년 출생]]
[[분류:살아있는 사람]]
[[분류:튜링상 수상자]]
[[분류:미국의 컴퓨터 과학자]]
[[분류:미국의 논리학자]]
[[분류:유대계 독일인]]
[[분류:유대계 미국인]]
[[분류:프린스턴 대학교 동문]]
[[분류:컬럼비아 대학교 교수]]
[[분류:하버드 대학교 교수]]
[[분류:예루살렘 히브리 대학교 동문]]
[[분류:미국 과학 아카데미의 회원]]
[[분류:이스라엘의 수학자]]
[[분류:유대계 이스라엘인]]
[[분류:데이크스트라상 수상자]]
[[분류:왕립학회 외국인 회원]]
[[분류:예루살렘 히브리 대학교 교수]]
[[분류:이론 컴퓨터 과학자]]