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