ヤエル・タウマン・カライ | |
|---|---|
יעל טאומן קלעי | |
| 生まれる | |
| 母校 | エルサレム・ヘブライ大学(理学士) ワイツマン研究所(修士) マサチューセッツ工科大学(博士) |
| 知られている | リング署名フィアット・シャミールヒューリスティック の不安定性 計算の委任 |
| 親族 | ヤイル・タウマン(父) |
| 受賞歴 |
|
| 科学者としてのキャリア | |
| フィールド | 暗号理論 計算機科学 |
| 機関 | マイクロソフトリサーチ MIT |
| 博士課程の指導教員 | シャフィ・ゴールドワッサー |
| 博士課程の学生 | エレッテ・ボイル |
ヤエル・タウマン・カライ(ヘブライ語:יעל טאומן קלעי)は、暗号学者、理論計算機科学者であり、 MITコンピュータサイエンスおよび人工知能研究所のエレン・スワロー・リチャーズ教授である。[1]以前は、マイクロソフト・リサーチ・ニューイングランドで上級主席研究員として勤務していた。[2] [3]。
教育とキャリア
カライは1997年にエルサレムのヘブライ大学を卒業した。2001年にワイツマン科学研究所でアディ・シャミールの指導の下、修士号を取得。その後、 2006年にMITでシャフィ・ゴールドワッサーの指導の下、博士号を取得した。マイクロソフト研究所とワイツマン研究所で博士研究員として研究を行った後、ジョージア工科大学の教員となった。2008年にマイクロソフト研究所に常勤で就任し[2] [3]、2024年にMITの教授となった。[4]彼女は、数学における計算および実験研究所(ICERM)の科学諮問委員会の委員を務めている。[5]
貢献
カライは、 CryptonoteやMonero(暗号通貨)など、数多くのシステムの主要構成要素となったリング署名の共同発明者として知られています。その後、指導教官のシャフィ・ゴールドワッサーと共に、広く用いられているフィアット・シャミール・ヒューリスティックの脆弱性を実証しました。彼女の計算委任に関する研究は、クラウドコンピューティングへの応用が期待されています。[6]
認識
カライは2018年の国際数学者会議でコンピュータサイエンスの数学的側面について招待講演した。[7]
彼女のリング署名を紹介した修士論文は優秀修士論文賞を受賞し[3]、MITの博士論文はコンピュータサイエンス分野の優秀博士論文に与えられるジョージ・M・スプロールズ賞を受賞した[3] 。 [8]
彼女は2017年に暗号理論会議の共同議長を務めた。 [9]
彼女は「検証可能な計算の委任における画期的な進歩と暗号技術への根本的な貢献」により、2022年のACMコンピューティング賞を受賞した。[10]
個人的
カライはゲーム理論家ヤイール・タウマンの娘である。[11]彼女の夫アダム・タウマン・カライはOpenAIで働いている。[要出典]
参考文献
- ^ ヤエル・カライ、MIT CSAIL、マサチューセッツ工科大学、2024年10月23日
- ^ Yael Tauman Kalai、Microsoft主席研究員、 2018年9月11日閲覧
- ^ abcd ヤエル・カライ、研究員、マイクロソフト・リサーチ・ニューイングランド、シモンズ・コンピューティング理論研究所、2014年10月22日
- ^ Goodale, Zach (2024-05-23). 「工学部、新任教員を歓迎」MITニュース.
- ^ 「ICERM - Trustee and Advisory Boards - Trustee & Advisory Boards」. icerm.brown.edu . 2021年7月11日閲覧。
- ^ Hardesty, Larry (2013年6月10日)、「クラウドのセキュリティ確保:新アルゴリズムが準同型暗号の主要問題を解決」、MITニュース、マサチューセッツ工科大学、 2018年9月11日閲覧– Phys.org経由
- ^ 「招待講演」ICM 2018、2018年12月8日時点のオリジナルよりアーカイブ、 2018年8月8日閲覧。
- ^ 「Awards and Honors 2007」、EECSニュースレター、マサチューセッツ工科大学電気工学・コンピュータサイエンス学部、2007年秋、2020年3月27日時点のオリジナルよりアーカイブ、 2018年9月10日閲覧。
- ^ 暗号理論:第15回国際会議TCC 2017の議事録、米国メリーランド州ボルチモア、2017年11月12-15日、Springer 、 2018年9月11日取得
- ^ ACM Prize in Computing Recognizes Yael Tauman Kalai for Fundamental Contributions to Cryptography、ACMコンピューティング賞、 2023年4月13日閲覧。
- ^ パーシャル、アリソン(2023年7月27日)「コンピューターの信頼性を保証する暗号学者」、Quanta Magazine
外部リンク
- Google Scholarに索引付けされたYael Tauman Kalaiの出版物