Kori, Mayuko(Research Institute for Mathematical Sciences (RIMS)) | Activity Database on Education and Research, Kyoto University

Kori, Mayuko

Research Institute for Mathematical Sciences (RIMS) Assistant Professor

Last Updated :2025/06/24

Basic Information

Affiliated programs (koza)

Graduate School of Science, 数学・数理解析専攻　数理解析系　応用数理講座, 助教

Email Address

Email Address
kori.mayuko.8ckyoto-u.ac.jp

Academic Degree

24 Mar. 2025
総合研究大学院大学博士（情報学）

Academic Resume (Undergraduate School/Majors)

東京大学, 理学部情報科学科, 卒業

Last Updated :2025/06/24

Research

Awards

21 Jul. 2023
CAV Distinguished Paper Award 2023（35th International Conference on Computer Aided Verification）

19 Mar. 2024
優秀学生賞（国立情報学研究所）

ページ上部へ戻る