本名：須藤尚稔
所属：東北大学情報科学研究科博士課程前期2年
学士論文：「型安全な通信ライブラリQuicksilverによる分散プログラムの開発」
修士論文：「逐次プログラムとセキュリティポリシーからの安全な分散プログラムの生成」