トップページ　＞　学術部門　奨学生紹介　＞　近藤 亮介

学術部門 卒業生

第49回生
近藤 亮介
Ryosuke Kondo

数学・コンピュータサイエンス

英国 オックスフォード大学

【略歴】
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

※奨学生在籍当時のプロフィール

【自己紹介】

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

【活動レポート】

【卒業レポート】