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