QI Xuanrui

2024年6月現在は、名古屋大学大学院多元数理科学研究科博士後期課程 (D3) に在籍中.

指導教員はJacques Garrigue先生とLars Hesselholt先生.

略歴

  • 2021年10月〜現在:名古屋大学大学院多元数理科学研究科 博士後期課程 (国際プログラム群物理・数理系プログラム).
  • 2019年10月〜2021年9月:名古屋大学大学院多元数理科学研究科 博士前期課程 (国際プログラム群物理・数理系プログラム).修士 (数理科学) 学位を取得.修士論文タイトル:"Type theory and the logic of toposes".
  • 2019年7月〜2020年4月:米国カリフォルニア州サンマテオ市SiFive, Inc. インターン・パートエンジニア.
  • 2018年9月〜2019年5月:米国タフツ (Tufts) 大学大学院工学研究科情報科学専攻 修士課程.Master of Science (Computer Science)学位を取得.
  • 2018年5月:Tufts大学工学部卒業.Bachelor of Science学位を取得.

連絡先

メール:xuanrui@nagoya-u.jp
住所:〒464-8602 名古屋市千種区不老町名古屋大学大学院多元数理科学研究科

研究テーマ

  • 型理論 (主にHoTT)
  • 無限(∞-)トポス理論を始め、無限圏論
  • 圏論的論理学
  • 圏論的量子情報学
  • 非可換幾何
  • 定理証明系と数学の形式化
  • 応用位相幾何学

今は様相HoTT (modal HoTT) を用いて、シンセティック幾何学 (LawvereとKockのシンセチック微分幾何学、Hakimのringed topos、Lurieのstructured spacesなど的な) を研究している.