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など的な) を研究している．