ソフトウェア開発分野の研究室で，形式手法を用いたソフトウェアテストの研究をしています．
Keep up to date with your connections on the Wantedly People App.