基本情報

協力講座

• 理学研究科, 数学・数理解析専攻　数理解析系　応用数理講座, 助教

全学メールアドレス

• 全学メールアドレス

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

学位

• 2025年03月24日

  総合研究大学院大学博士（情報学）

出身学校・専攻等

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

研究

受賞

• 2023年07月21日

  CAV Distinguished Paper Award 2023（35th International Conference on Computer Aided Verification）
• 2024年03月19日

  優秀学生賞（国立情報学研究所）