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