ソフトウェア工学・プログラミング言語研究室

当研究室ではソフトウェア構築の基礎をなすソフトウェア工学とプログラミング言語に関する研究をしています。ソフトウェア工学とはソフトウェアが抱える問題を工学的な見地から捉え解決する学問分野で、当研究室では「先進的なプログラミング・エクスペリエンス」、「形式手法を活用した高信頼ソフトウェアの開発」、および、「集合知発見のためのソフトウェアリポジトリマイニング」の３つの側面から研究しています。最初の２つでは、AI・機械学習、集合知発見、プログラミング言語理論、形式手法・形式検証技術を駆使した先進的かつモダンなソフトウェア工学について研究しています。最後の１つでは、ソフトウェアの開発履歴データが大量に蓄積されたリポジトリから知識を発見、獲得する研究をしています。