関戸　聡

東京工業大学　情報工学科卒業後、集積システム専攻にて修士号取得。 大学の卒業研究では形式手法によるシステム仕様の脆弱性発見について、 大学院の研究ではLDPC符号についての研究を行っていました。