ようこそ，POSL へ！

POSL (Principles of Software engineering and programming Languages)では， ソフトウェア工学の研究を行っています． 具体的には，ソフトウェア開発過程の自動化のための研究や，ソフトウェアリポジトリマイニングを行っています． ソフトウェア分野研究の中でも非常にホットなトピックを多岐に渡って扱っており， 海外の研究者とも積極的に共同研究しています．

研究室紹介

亀井研究室についても詳しく知りたいという方はぜひ， 研究室紹介 のページをご覧ください．

研究トピック

 SE for AI と AI for SE

• 機械学習工学
• ニューラルネットワークモデルの自動改善
• 人工知能との共創的プログラミング
• プログラムの正しさの自動証明支援，停止性検証

 ソフトウェアリポジトリマイニング

• オープンソースソフトウェア工学
• エンピリカルソフトウェア工学
• ソフトウェアのテスト・デバッグ支援
• リファクタリングの自動化