【略歴】
2000年熊本県生まれ 2018年Brickfields Asia College 2019年オックスフォード大学

【賞歴】
2021年G-Research Group Project Prize for 2021 for a well-designed educational tool they created and a clear presentation and demonstration on how this tool can be used for learning purposes

【自己紹介】

オックスフォード大学にて数学とコンピュータサイエンスを専攻しています。私の興味の中心であるプログラム検証は、書かれたプログラムやシステムが期待される動作をすることを、数学的に（可能であれば自動的に）証明する方法について探求する分野です。形式検証を含むコンピュータサイエンスの他の分野に知識を応用するため、幅広く数学の諸分野を学んでいきたいです。

【座右の銘・抱負】

【活動レポート】

【卒業レポート】