마누엘 블룸
마누엘 블룸(Manuel Blum, 1938년 4월 26일 ~)은 베네수엘라 출신의 미국의 컴퓨터 과학자로, 1995년 "계산 복잡도 이론의 기초와 이를 암호화 및 프로그램 검사에 응용하는 데 기여한 공로"를 인정받아 튜링상을 수상했다.[1][2][3][4][5][6][7]
경력
[편집]블룸은 2001년까지 캘리포니아 대학교 버클리에서 컴퓨터 과학 교수로 재직했다. 2001년부터 2018년까지는 카네기 멜론 대학교에서 브루스 넬슨 컴퓨터 과학 교수로 재직했으며, 그의 아내 레노어 블룸 역시 같은 대학교 컴퓨터 과학 교수였다.
2002년에는 미국국립과학원 회원으로 선출되었고, 2006년에는 추상 복잡도 이론, 귀납적 추론, 암호화 프로토콜, 그리고 프로그램 검사기의 이론 및 응용 분야에 기여한 공로로 미국 국립 공학 아카데미 회원으로 선출되었다.
2018년에 그와 그의 아내 레노어는 프로젝트 올림푸스의 경영 구조 변화로 인해 그녀가 책임자로서 성차별적인 대우를 받고 다른 여성들이 프로젝트 활동에서 배제되자 성차별에 항의하기 위해 카네기 멜론 대학교에서 사임했다.[8]
각주
[편집]- ↑ ACM Turing Award Citation, retrieved 2010-01-24.
- ↑ Manuel Blum - DBLP Bibliography Server
- ↑ 출판물 목록 - 마이크로소프트 아카데믹
- ↑ Blum, Manuel; Micali, Silvio (1984). “How to Generate Cryptographically Strong Sequences of Pseudorandom Bits” (PDF). 《SIAM Journal on Computing》 13 (4): 850. doi:10.1137/0213053. S2CID 7008910.
- ↑ Blum, M.; Floyd, R. W.; Pratt, V. R.; Rivest, R. L.; Tarjan, R. E. (August 1973). “Time bounds for selection” (PDF). 《Journal of Computer and System Sciences》 7 (4): 448–461. doi:10.1016/S0022-0000(73)80033-9.
- ↑ Blum, Manuel (1967). “A Machine-Independent Theory of the Complexity of Recursive Functions” (PDF). 《Journal of the ACM》 14 (2): 322–336. doi:10.1145/321386.321395. S2CID 15710280.
- ↑ Blum, L.; Blum, M.; Shub, M. (1986). “A Simple Unpredictable Pseudo-Random Number Generator”. 《SIAM Journal on Computing》 15 (2): 364. doi:10.1137/0215025.
- ↑ “Lenore Blum shocked the community with her sudden resignation from CMU. Here she tells us why”. 2018년 9월 6일.
| 학술 | |
|---|---|
| 기타 | |