Yoichi Hirai

Yoichi Hirai 是一家咨询公司负责人，从事软件形式化验证工作已有十多年。此前，他是以太坊形式化验证工程师，负责虚拟机项目。