藤田研究室のホームページへようこそ!
藤田研究室では計算機支援による定理証明やモデル検査ツールを使った検証技術の研究をしています.

最新情報

2019/03/17--20
日本数学会2019年度年会(東京工業大学)
2019/03/08--11
草津セミナー: 富岡峻士君(M1)と山野井涼華さん(B4)が発表
2019/01/01
2019年おめでとうございます!Webページも新しくなりました!
December 2018
Information and Computation (Elsevier) からチャーチ・ロッサーの定理に関する論文が出版されました.
2018/09/25--27
研究会 49th TRS meeting を伊香保で開催しました.
2018/09/18--22
竹内外史追悼シンポジューム(神戸大学)
2018/08/30, 09/06
Swansea University (UK), Chalmers University of Technology (Sewden)で研究発表しました.

研究室について

藤田研究室は2018年10月現在,藤田憲悦准教授,大学院博士課程前期1名,学部4年生5名, 学部3年1名(GFL)の計8名で構成されています.毎週2回各2時間程度のゼミを開き,メンバーが それぞれ学習したことについて発表します.

研究する分野は主に形式手法・検証技術(formal methods)です. システム設計上のミスの改善やプログラムの正しさを証明することでバグによる被害を抑えたり, 保守性・信頼性の向上につながる,現代において重要な立ち位置であるといえます.