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