主要な研究内容

プログラミング言語に関する理論と実際の研究を行っている。理論に関してはプログラミング言語の基礎になる型理論、プログラム意味論、プログラム検証などを主な研究テーマにしている。より実際的な分野としては、オブジェクト指向プログラミングや関数型プログラミング言語をもとにした新しいプログラミングパラダイムの構築、言語設計、処理系の実装、プログラミング環境の開発などを行っている。