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