卒業研究「非同期並列プログラミング言語の意味論と実装」 非同期処理を扱うための構文や予約語を撤廃し、手続き的な記述の中に非同期処理を織り込むための評価戦略「Call-by-Relation」の提案及びこれを用いた関数型プログラミング言語「Liquid」を実行するインタプリタの実装を行った。