プログラミングをさまざまな側面からサポートするツールに関する研究をしています。とくに構文解析、型システム、プログラム変換等のプログラミング言語に関する基礎研究の成果を用いて、信頼性が高く効率の良いプログラムを作成しやすくなるようなツールを構築することを目指しています。ここ数年は主に構文補完を行うツールについて、構文解析技術を用いた新たな方式を提案、実装しています。