Xuanrui Qi (チー・センエイ)

名古屋大学大学院多元数理科学研究科博士前期課程 (M1) 在籍中.指導教員はジャック・ガリグ教授.その前,米・タフツ大学から修士 (理学)と学士 (理学)の学位をそれぞれ2019年5月・2018年5月に取得しました.

主な研究興味はプログラムと数学のための「型」.特に気に入る研究トピックは:

  • ML系プログラミング言語の型システムの設計・実装・検証
  • Coqをはじめ、依存型を持つプログラミング言語と定理証明支援系の設計と形式的証明への応用
  • 型理論と構成主義的数学 (特に代数学・位相幾何学)の関係

連絡先

住所: 〒464-8602 愛知県名古屋市千種区不老町 名古屋大学大学院多元数理科学研究科
メール: me@xuanruiqi.com (一般の方), xuanrui@nagoya-u.jp & xuanruiqi@acm.org (研究者の方)
ツイッター: @xuanruirqi (主に英語)
GitHub: xuanruiqi
GPG公開鍵: ダウンロード,或いはgpg --recv-keys 87F900026E06FBC8

自己紹介

私の名前を漢字で書くとは「亓璇睿」,日本語の音読みは「キ センエイ」でしょう.中国語には「チー シュエンルイ」っぽい発音です.「チー センエイ」と呼んだら嬉しいです.

中国・南京で生まれて,深センで育ちました.深センの高校卒業後,アメリカの大学に進学のため,凄く寒いマサチューセッツ州に引っ越し,4年間住んでいました.タフツ大学で、情報科学に加えて国際関係学と数学も学んでいました.

一番好きなプログラミング言語はOCaml.Haskell,ErlangとRacketも好きです.

エルデシュ数は5,ベーコン数は+∞ (映画に出演することはありませんので).