レノア・ブルム

レノア・ブルム
レノア・ブラム、カリフォルニア州バークレー、1998年
生まれる	( 1942-12-18 )1942年12月18日（81歳） ニューヨーク市、米国
国籍	アメリカ人
母校	シモンズ大学(学士) マサチューセッツ工科大学(博士号)
知られている	Blum Blum Shub 擬似乱数ジェネレータ ブルーム・シューブ・スメール機械
配偶者	マヌエル・ブルム
子供たち	アヴリム・ブルム
受賞歴	AAASフェロー（1979）[1] ノイマン講演(2002) パエスメム（2005）
科学者としてのキャリア
フィールド	コンピュータサイエンス
論文	一般化された代数理論: モデル理論的アプローチ (1968)
博士課程の指導教員	ジェラルド・サックス
博士課程の学生	キャロル・フリーズ

レノア・キャロル・ブラム（旧姓エプスタイン、^{[2] 1942年12月18日生まれ）は、アメリカのコンピュータ科学者、数学者であり}、実数計算、暗号、疑似乱数生成の理論に貢献した。彼女は2019年までカーネギーメロン大学でコンピュータサイエンスの著名な教授であり、現在はカリフォルニア大学バークレー校の教授を務めている。^{[1]彼女は数学とコンピュータサイエンスの}多様性を高めるための努力でも知られている。

ブルームはニューヨーク市のユダヤ人家庭に生まれた。母親は理科の教師だった。^{[3]ブルームが9歳のとき、両親は}ベネズエラに移住した。16歳でベネズエラの高校を卒業した後、1959年からカーネギー工科大学（現カーネギーメロン大学）で建築を学んだ。 ^{[4] [5]}アラン・パーリスの助けを借りて、1960年に専攻を数学に切り替えた。^[6]マサチューセッツ工科大学の学生だったマヌエル・ブルームと結婚し、1961年にボストンの私立女子リベラルアーツカレッジであるシモンズカレッジに編入した。 ^{[4] [5]}シモンズは数学が得意ではなかったが、最終的にはMITでイサドア・シンガーの数学クラスを受講し、^[7] 1963年にシモンズ大学を数学の理学士号で卒業した。^{[8] [9]}

彼女は1968年にマサチューセッツ工科大学で数学の博士号を取得した。彼女の博士論文「一般化代数理論：モデル理論的アプローチ」は、モデル理論（数理論理学の一分野）と微分代数の深いつながりを示した。彼女はジェラルド・サックス^[10]の指導を受けた（以前の指導教官である岩沢健吉がプリンストン大学に移った後、プリンストンは当時女性の大学院生を受け入れていなかったため、彼は同大学に同行することができなかった）。^[4]

博士号を取得した後、ブラムはカリフォルニア大学バークレー校に行き、ポスドク研究員および数学講師としてジュリア・ロビンソン^[11]のもとで働いた。(ロビンソンはバークレー数学科で正規の職に就いてはいなかった。ロビンソンがバークレーから正社員のオファーを受けたのは、1976年に米国科学アカデミーの数学部門で女性として初めて選出された時だった。) 当時、数学科には女性の正社員のポストがなく、2年後、ブラムの講師としての地位は更新されなかった。1971年、彼女は数学における女性協会の創設者の一人となった。^{[4] [5] [AWM] 1973年、彼女はバークレー近郊のオークランドヒルズにある}女子大学、ミルズ大学 の教員となった。1974年、彼女はミルズに数学およびコンピュータサイエンス学科を設立した。これは当時、女子大学で唯一のコンピュータサイエンスプログラムであった。彼女は13年間、学部長または共同学部長を務めた。^[12] 1975年から1978年まで、彼女は数学における女性協会の3代目会長を務めた。^{[5] [AWM]その後、ブルームは}AMS評議会の一般会員に選出され、1978年から1980年までその職を務めた。 ^{[13]その後、AMSの副会長（1990-1993年）を務めた。1979年、彼女はミルズで最初のレッツ・ヴィラード}教授職を授与された。^[5]

1983年、ブラムは全米科学財団（NSF）の女性客員教授賞を受賞し、ニューヨーク市立大学大学院でマイケル・シューブとともに2年間働いた。1987年にはIBMで1年間働いた。1992年、ブラムは数学科学研究所（MSRI）の副所長となり、所長のウィリアム・サーストンとともに働いた。 1996年から1998年にかけて香港城市大学を訪れ、著書『Complexity and Real Computation』の執筆に取り組んだ後（香港が英国から中国に返還された時期）、1999年にカーネギーメロン大学（CMU）のコンピュータサイエンスの特別教授となった。 ^{[5] [9]}

CMU では、彼女は、コンピュータ サイエンスを専攻する女性の数が少ないのは、悪循環が原因の一部であるという考え方を採用しました。女性が少ないため、コンピュータ サイエンスを専攻する女性は、男性よりもサポート ネットワーク (コースワークを手伝ってくれる同じ専攻の友人など) が少ないのです。そして、これらの要因により、女性にとってコンピュータ サイエンティストであることは楽しくなく、困難であるため、コンピュータ サイエンスを専攻する女性は少なくなりました。当時人気があった、女性を引き付けるためにカリキュラムをよりアプリケーション中心に変更するというアプローチの代わりに、彼女は、伝統的なコンピュータ サイエンス プログラムを維持しながら、プログラムを取り巻く文化をより歓迎的なものに変えるよう働きかけました。この目標をサポートするために、彼女は CMU に Women@SCS プログラムを設立し、コンピュータ サイエンスを専攻する女性にメンタリングとアウトリーチの両方の機会を提供しました。^{[14]このプログラムは、後に Blum の学生であった}Carol Frieze によって指揮されるようになり、CMU は学部のコンピュータ サイエンス プログラムにおける女性の割合をほぼ 50% にまで増やすことができました。^[15]

CMUでは、ブルームはNSFがシードしたALADDINセンターの共同ディレクターを務め、アルゴリズム理論と実践の相乗効果を促進しました。彼女はまた、 CMUとそのコンピュータープログラムに関連するピッツバーグの多くのスタートアップ企業をもたらしたビジネスインキュベータープログラムであるプロジェクトオリンパスをCMUに設立しました。彼女は、共同設立者でもあるCMUイノベーションおよび起業家センターの管理体制の変更により、彼女に対する性差別的な扱いとプロジェクト活動から他の女性が排除されたため、2018年にCMUを辞任しました（2019年8月に発効）。^[14]

Blum、Manuel Blum、Michael Shub が共同で発表した Blum Blum Shub 擬似乱数生成器は、2 つの大きな素数の積を法として数を二乗する演算に基づいています。その安全性は、整数因数 分解が不可能であるという計算困難性の仮定に還元できます。^[BBS]

ブルームは、実数上の計算の理論モデルであるブルーム・シューブ・スメール・マシンでも知られています。ブルームと共著者のマイケル・シューブ、スティーブン・スメールは、（チューリングマシンの理論と同様に）このモデルに対してNP完全性、決定不能性、普遍性と同様のものを定義できることを示しました。たとえば、このモデルでは、与えられた点がマンデルブロ集合に属するかどうかを判断することは不可能です。^{[5] [BSS]}このモデルでは、任意の体F上で、F上の有限多項式方程式系が共通の零点を持つかどうかを判断する問題は、F上でNP完全である。（Fは実数、複素数、または2を法とする整数である。）彼女は、フェリペ・カッカー、マイク・シューブ、スティーブ・スメールとともに、このテーマに関する本を出版し、^{[16] [CRC] 、1990年に}国際数学者会議で計算複雑性理論と実計算について講演した。^{[12] [5]}。2012年、アラン・チューリング生誕100周年を記念した会議で、彼女はこの研究とあまり知られていないチューリングの研究とのつながりについて 招待講演を行った。

マヌエル・ブルムとの最近の研究は、チューリングのシンプルだが強力な計算モデルとバーナード・バーズの意識の劇場モデルに触発され、理論計算機科学(TCS) の観点から意識のシンプルな形式機械モデルを開発しています。現在、彼女は数学的意識科学協会 (AMCS) の会長を務めています。

2002年、ブルームは数学における女性協会の ネーター講師に選ばれた。^[17]

2005年、ブラムはジョージ・W・ブッシュ大統領から「伝統的に過小評価されてきた技術分野で少女や女性を指導する彼女の努力」に対して科学、数学、工学指導における大統領優秀賞を受賞した。 ^[18]彼女は2018年にシモンズ大学2018年度優秀卒業生生涯功労賞を受賞した。^[2]

ブルームは1979年にアメリカ科学振興協会のフェローに選出された。 ^{[5] 2012年に、ブルームは}アメリカ数学会 の初代フェローとなった。^{[19] 2017年に、彼女は}数学における女性協会 の初代フェローに選ばれた。^[20]

2024年、彼女はアメリカ芸術科学アカデミーに選出された。

ブルームは、女性数学者協会が発行した著名な女性数学者をフィーチャーしたトランプカードに含まれています。^[21]

レノア・ブラムはマヌエル・ブラムと結婚しており、アヴリム・ブラムの母親である。^[5] 3人ともMITの卒業生であり、カーネギーメロン大学でコンピュータサイエンスの教授を務めたことがある。^[11]

• レノア・ブラムのホームページ