学位

  • 2024年 3月25日: 名古屋大学 大学院情報学研究科 数理情報学専攻 博士(情報学)
    • タイトル: Algorithms for graph problems with monadic second-order properties via structural graph parameters
    • 指導教員: 大舘 陽太 准教授
  • 2022年 3月25日: 名古屋大学 大学院情報学研究科 数理情報学専攻 修士(情報学)
  • 2020年 3月24日: 熊本大学工学部 情報電気電子工学科 学士(工学)

学歴等

職歴等

  • 2024年 4月: 北海道大学 大学院情報科学研究院 助教
  • 2023年 4月 – 2024年 3月: 日本学術振興会特別研究員DC2
    グラフ構造パラメータと述語論理を用いた高速メタアルゴリズム

受賞歴

  1. 2024年 3月: 名古屋大学大学院情報学研究科 エクセレントドクター賞
  2. 2024年 3月: Best paper of WALCOM2024
  3. 2022年 3月: 電子情報通信学会総合大会 COMP学生シンポジウム 最優秀論文賞
  4. 2020年 3月: 熊本大学工学部 情報電気電子工学科 学科学業奨励賞