大堀 淳

型理論を基礎とし、作成されたソフトウェアの安全性が保証されているプログラミング言語ML(Meta Language)を拡張し、Ｃ言語、Java言語で記述された既存のソフトウェアと組み合わせて使用することを可能とする高水準言語処理系の開発を行うとともに、Ｃ言語等で記述されたソフトウェアの安全性を高めるコンパイラ技術の開発を行う。

さらに、Ｃ言語、Ｊａｖａ言語、ＭＬで記述されたソフトウェアを組み合わせる際に、型理論により整合性をチェックし、インタフェース部分のソフトウェアを自動生成するツールを開発する。