1995년 ACM 튜링상은 계산 복잡도 이론 분야와 암호학 및 프로그램 검증 내 그 응용에 대한 근본적인 기여를 인정하여 마누엘 블룸(Manuel Blum)에게 수여되었습니다. 1938년 카라카스에서 태어난 이 베네수엘라계 미국인 컴퓨터 과학자는 수십 년 동안 기계 모델과 알고리즘 효율성의 이론적 한계를 발전시켜 왔습니다.
학문적 배경
블룸은 매사추세츠 공과대학교에서 고등 교육을 받았습니다. 그는 각각 1959년과 1961년에 전기공학 학사 학위와 석사 학위를 취득했습니다. 재학 시절, 그는 워런 S. 매컬럭의 지도 아래 신경망 수학적 문제에 대해 공동 연구를 수행했습니다. 1964년 수학 박사 학위를 취득했으며, 박사 연구는 마빈 민스키의 지도를 받았습니다.
복잡도 이론에 대한 기여
1960년대 동안 블룸은 특정 기계 모델과 독립적으로 작동하는 공리적 복잡도 이론을 개척했습니다. 괴델 넘버링과 블룸 공리를 활용하여 그의 연구는 압축 정리, 갭 정리, 정직성 정리, 속도 향상 정리를 포함한 유의미한 결과를출시했습니다. 이러한 공리적 기반을 넘어 그의 연구에는 중앙값들의 중앙값 알고리즘, 블룸-블룸-슈브 유사난수 생성기, 블룸-골드바서 암호체계의 생성이 포함됩니다. 그는 또한 전화 통화를 통한 동전 던지기 및 현대의 CAPTCHA와 같은 프로토콜을 개발한 공로를 인정받고 있습니다.
경력 및 전문적 소속
블룸은 캘리포니아 대학 버클리 캠퍼스에서 컴퓨터 과학 교수로 오랜 기간 재직했으며 2001년까지 머물렀습니다. 그해 그는 카네기 멜론 대학교의 브루스 넬슨 컴퓨터 과학 교수직을 수락했습니다. 2018년, 그와 그의 아내 레노어 블룸은 올림푸스 프로젝트 내의 관리 구조 및 직원 처우에 관한 분쟁으로 인해 카네기 멜론 대학교에서의 직위를 사임했습니다. 경력 내내 그는 레너드 애들먼, 샤피 골드바서, 실비오 미칼리, 루이스 폰 안을 포함한 수많은 연구자들을 지도했습니다.
기관의 인정
블룸은 추상적 복잡성과 암호 프로토콜에 대한 기여로 2002년 미국 국립과학아카데미, 2006년 미국 국립공학아카데미를 포함한 여러 고위 학술 단체에 선출되었습니다. 그의 전문 회원 자격에는 미국 예술 및 과학 아카데미와 컴퓨터 학회가 포함됩니다. 그는 미국 과학 진흥 협회, 국제암호학연구회(IACR), ACM의 펠로입니다.
주요 사실
- 출생: 1938년, 베네수엘라 카라카스 - 학력: 매사추세츠 공과대학교 - 튜링상: 1995년 - 고용주: 캘리포니아 대학 버클리 캠퍼스; 카네기 멜론 대학교 - 국적: 미국; 베네수엘라 - 연구 분야: 컴퓨터 과학 - 주요 기여: 블룸-블룸-슈브 생성기 - 전문 펠로십: IACR (2012년), ACM (2020년), AAAS (1983년)
독자들이 자주 묻는 질문
### 마누엘 블룸의 주 연구 분야는 무엇인가요?
그는 컴퓨터 과학을 전공하며, 특히 계산 복잡도 이론, 암호학, 프로그램 검증에 중점을 둡니다.
### 마누엘 블룸이 재직했던 대학은 어디인가요?
그는 캘리포니아 대학 버클리 캠퍼스에서 교수로 재직했으며, 이후 카네기 멜론 대학교에서 브루스 넬슨 컴퓨터 과학 교수로 근무했습니다.
