Shin Saito

@shinsa82

日本IBM 東京基礎研究所 (IBM Research - Tokyo) FSS&ブロックチェーン・ソリューションズ リサーチ・スタッフ・メンバー。形式検証、ロジック、定理証明とかソフトウェア工学が専門です。最近型が面倒くさくなってきた。 ※執筆した記事の内容は私個人の見解であり、必ずしも私が所属する会社、組織、団体の立場、戦略、意見を代表するものではありません。
IBM Research - Tokyo
Tokyo, Japan (会社)
Following Users5