東京大学 大学院情報理工学系研究科 コンピュータ科学専攻。高階モデル検査とか。

型システムなどの手法を利用したプログラム解析の研究

Label-selective lambda-calculus and Transformation calculusなど

Mewを作られた方。Haskellも書かれてます。