JAISTの博士前期課程修了 & 博士後期課程進学

2023年の9月にJAISTの博士前期課程東京社会人コースを修了しました。分散合意プロトコルRaftの形式仕様とモデル検査というテーマで学位論文を書きました。博士前期課程は入学試験で話した研究テーマに沿って研究を進めましたが、ある課題に直面したため、目標としていたことの一部を達成できませんでした。
研究を進めていく中で国際学会論文を2本が採択されました。https://scholar.google.co.jp/citations?user=Tt04xmgAAAAJ&hl=ja

2023年の10月からJAISTの博士後期課程に進学します。博士前期課程の研究で直面した課題を解決できるような手法を提案しようとしてます。