研究分野

私の研究は、様々なシステムに対する実用的な形式検証手法の開発に焦点を当てています。特に、理論的基盤と実世界の応用の間のギャップを埋めることに関心があります。