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

学術部門 現役奨学生

第49回生
近藤 亮介数学・コンピュータサイエンス
Ryosuke Kondo

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

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

【賞歴】

【自己紹介】

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

【活動レポート】