英国 オックスフォード大学
【略歴】
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
※奨学生在籍当時のプロフィール
【自己紹介】
オックスフォード大学にて数学とコンピュータサイエンスを専攻しています。私の興味の中心であるプログラム検証は、書かれたプログラムやシステムが期待される動作をすることを、数学的に(可能であれば自動的に)証明する方法について探求する分野です。形式検証を含むコンピュータサイエンスの他の分野に知識を応用するため、幅広く数学の諸分野を学んでいきたいです。
【活動レポート】
【卒業レポート】